Question $6$

$\frac{0\mathrm{.}16}{0\mathrm{.}25}$ pts

Translate each sentence below in both short form and long form.

Use CamelCase for predicates in long form. For example, $x$ sold rubies to $y$ in long form would be SoldRubies$($x$,$y$).$ Short form would just be $S(x,y).$

Obey all conventions from BOOL and PROP $($no spaces, $->$ for arrow, etc.$).$

Raquel is happy.

Long:

Short:

Quinn is taller than Pia.

Long: