°The relation of a universal proposition to a specific proposition of the same form with the universal quantified variable replaced by a specific instance.
°The relation of a universal proposition to a specific proposition of the same form with the universal quantified variable replaced by a specific instance.