Head

collection

headExistsInference

CollectionInferenceRules

headInference

CollectionInferenceRules

headPredicate

CollectionPredicates

headPredicateView

CollectionPredicates

hypotheticalSyllogism

BooleanInferenceRules1