Open Gauntlet173 opened 1 year ago
The word "holds" is being used in the s(CASP) nlg to refer both to things that are found and undefeated in the defeasibility system, and to things that are temporally true in the event system. It would be nice if we could clarify between them.
The word "holds" is being used in the s(CASP) nlg to refer both to things that are found and undefeated in the defeasibility system, and to things that are temporally true in the event system. It would be nice if we could clarify between them.