compound predicate subgroup of predicate, 1 assertions