Subsumption-Based HL Modules

Methods that provide support efficient transitivity reasoning over the sbhl relations.

General Transitivity Support Home Subsumption-Based HL Modules