$logic->as_string