Translate each sentence below in both short form and long form. Use CamelCase for predicates in long form. For example, x is taller than y in long form would be TallerThan$($ x$,$y $.$ Short form would just be T$($x$,$y$).$ Obey all conventions from BOOL and PROP $($no spaces, $->$ for arrow, etc.$).$ Raquel is happy. Quinn is taller than Pia. Pia and Raquel are guilty. Pia and Raquel are taller than Quinn. If Pia is Quinn, then Pia is not taller than Quinn. $$Select ALL that are possible in FOL.

Two objects with the same name.

A object with no name.

A name with no object.

Two names for the same object.

An object with one name.