This is the query interface for searching constrainers. Each method specifies an AND term while multiple invocations of the same method produce a nested OR.