@openreasoning/fol-types (npm): Types of First-Order Logic formula
Keywords: fol