@Override public SubClassInclusionExpandedDefinitionMatch2 getSubClassInclusionExpandedDefinitionMatch2( SubClassInclusionExpandedDefinitionMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { return new SubClassInclusionExpandedDefinitionMatch2(parent, secondPremiseMatch); }
@Override public SubClassInclusionExpandedDefinitionMatch2 getSubClassInclusionExpandedDefinitionMatch2( SubClassInclusionExpandedDefinitionMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { return new SubClassInclusionExpandedDefinitionMatch2(parent, secondPremiseMatch); }
@Override public SubClassInclusionExpandedDefinitionMatch2 getSubClassInclusionExpandedDefinitionMatch2( SubClassInclusionExpandedDefinitionMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { return new SubClassInclusionExpandedDefinitionMatch2(parent, secondPremiseMatch); }