How two sets of rules or premises are compared (see the module superiority)
Whether the flag is a switch, on when stated by its predicate alone (queryMode.), rather than taking values
queryMode.