logic form

noun1

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