Type the two quantified rules (Prolog/Luger notation; lowercase=constant, uppercase=variable)

Answer

∀X (man(X) → mortal(X)) ∃Y friends(Y, peter)

The first asserts every man is mortal; the second asserts at least one thing is a friend of Peter. `peter` is a constant (lowercase); X and Y are variables (uppercase). This case convention carries straight into Prolog in Module 2.