Weapon II: Universal Patterns

Problem: At inference time, many
algorithms

nconvert objects to propositions

nrecreate the repetition we wanted to avoid

Robinson
[1965]: *Lifted** *theorem proving

nDo proof using
variables *x
*

nOnly make distinctions
about *x* that matter to proof