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