Grounding using predicates.