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