Which rules and premises of two arguments their comparison weighs (see the module superiority)
Whether the flag is a switch, on when stated by its predicate alone (queryMode.), rather than taking values
queryMode.