*All x are y*.

On Tuesday and Wednesday, I extended this to add verbs, relative clauses, negation, and existential assertions.

And here's Thursday's lecture on
something on *All p are q* and *Some p are q*
.

Here is the last day's lecture, featuring a bit on relational syllogistic logic, a bit on reasoning about cardinality, and a brisk discussion of the monotonicity calculus.