@openreasoning/predicate-typesTypes of Predicate Logiclogicreasoningformal logic0.2.0 • Published 5 years ago