add verb for querying rules; fix type inference too many results problem