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