∧ ¬ (Al missed the game ∧ Al missed the movie))
¬ ((Al got to the meeting ∧ Al got to the party)
∧ ¬ (¬ Al got to the game ∧ ¬ Al got to the movie))
¬ ((T ∧ P) ∧ ¬ (¬ G ∧ ¬ V))
not
both
T and
P and
not
both
not
G and
not
V
G: Al got to the game; P: Al got to the party; T: Al got to the meeting; V: Al got to the movie
The final step of analyzing X missed Y as contradictory to X got to Y is not crucial at this point in the course. While it is important to exhibit as much logical structure as possible, we end up with four logically independent sentences whether we carry out the final step or not. However, we will later go on to press analyses below the level of sentences, and this sort of step will then be of value since it leads us to four components that differ only in the object of the preposition to and therefore can be analyzed in a way that re-uses vocabulary.