Rewrite precondition queries as ASK queries