Remember that Likes() and IsAngryWith() talk about two people
That box is for predicates that describe two things.
Things like Happy() and Logician() can only talk about one thing at a time
Drag the arrow by clicking the box in the middle
You will see a green outline when it is in the right place.
Remember that if you make a mistake, you can delete things by double clicking them.
Frege realises that he could just use a variable x that can stand in for any of the cups.
Use the has relation to say Frege has a cup.
You haven't got every sentence true yet.
x is a cup.