\A x . Quaker(x) → Pacifist(x)
slide
:
Taxonomies and predicate logic