Instructions

Logician(x)

x can be any object in the scene.

If x is Frege, then Logician(x) is true.

If x is Aristotle, then Logician(x) is false because Aristotle is a bear and bears cannot be logicians.

Go to next level