Complex Predicates in Control · Study