Transitivity HL Modules

Methods that support general transitivity reasoning using transitive relations.

Epistemological-Level Support Home Inference Module