Fact only accepts predicates from a list of legalPredicates