PropertyQuantification

Definition A <PropertyQuantification> is a <FunctionalMapping> whose members map a <Property> to an <ArithmeticNumber>