The adjective “first-order” distinguishes first-order logic from ___________ in which there are predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted?#

• A. Representational Verification
• B. Representational Adequacy
• C. Higher Order Logic
• D. Inferential Efficiency