GroundingFact

constructor(fact: PrologFact, propositionId: String)