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