Basic CL

Basic version, no inter-ontology axioms

Basic CL

Basic version, no inter-ontology axioms