Which is an appropriate language for describing the relationships?

• A. First-order logic
• B. Propositional logic
• C. ILP
• D. None of the mentioned