Tutorial 12: Symbolizing propositions using predicate logic (continued)