slide 49

Quantified Expressions (some and every)

every $x in /students/student/name satisfies $x = "Steve"

(With thanks to Evan Lenz for the example)