GroundAtoms now specify predicate, not just predicate name