Observational logic quantifier

Quantifier, i.e., 0.9 , which is one of many generalised quantifiers in observational logic. The parhcular quantifier - p employed in the above rule is called founded implication and expresses the fact that among those objects in the available data that fulfil the condihon of the mle, at least the proportion p also fulfils its consequence (in the above rule,/ = 90%). 

---