graph of predicates;