Classically known as Universal Instantiation, this rule allows you to infer any instance from a universal generalization. It's hard to know what else "all" could mean.
Preview shown for the Point And Click derivation type in the LRC_O system
