What is the nature of the sentence: ∀x ∀y (TeacherOf(x,y) ⊃ StudentOf(y,x))

• A. symmetry
• B. exhaustiveness
• C. inverse
• D. none of the above