Competency: Use logic-based reasoning