logic form

Noun

 * 1)  The representation of natural language sentences in first-order logic, where concept predicates are combined through shared arguments.