@Override public String visit( SubPropertyChainExpandedSubObjectPropertyOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubPropertyChainExpandedSubObjectPropertyOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubPropertyChainExpandedSubObjectPropertyOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public IndexedSubObjectPropertyOfAxiomMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getFirstPremise(factory)); }
public IndexedSubObjectPropertyOfAxiomMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getFirstPremise(factory)); }
public IndexedSubObjectPropertyOfAxiomMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getFirstPremise(factory)); }
SubPropertyChainMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getConclusion(factory), getFullSuperChainMatch(), getSuperChainStartPos()); }
SubPropertyChainMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getConclusion(factory), getFullSuperChainMatch(), getSuperChainStartPos()); }
SubPropertyChainMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getConclusion(factory), getFullSuperChainMatch(), getSuperChainStartPos()); }
public SubPropertyChainMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getSecondPremise(factory), getParent().getFullSuperChainMatch(), getParent().getSuperChainStartPos()); }
public SubPropertyChainMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getSecondPremise(factory), getParent().getFullSuperChainMatch(), getParent().getSuperChainStartPos()); }
public SubPropertyChainMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getSecondPremise(factory), getParent().getFullSuperChainMatch(), getParent().getSuperChainStartPos()); }