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.

The adjective “first-order” distinguishes first-order logic from _

1.	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
Answer» D. Inferential Efficiency