Introduction to First-Order Logic and Prolog

universally quantified


One interpretation:
‘Susie likes everyone’

existential