elk-proofs/src/main/java/org/semanticweb/elk/matching/InferenceMatchVisitor.java
private void deriveInclusion(IndexedContextRootMatch extendedRootMatch,
			IndexedContextRootMatch rootMatch) {
		if (rootMatch.equals(extendedRootMatch)) {
			// nothing to do
			return;
		}
		List<? extends ElkClassExpression> rootFillers = getFillerRanges(
				rootMatch);
		List<? extends ElkClassExpression> extendedRootFillers = getFillerRanges(
				extendedRootMatch);
		int rootFillersCount = rootFillers.size();
		if (rootFillersCount == 1) {
			elkInferenceFactory_
					.getElkClassInclusionObjectIntersectionOfDecomposition(
							extendedRootFillers, 0);
		} else {
			List<Integer> positions = new ArrayList<Integer>(rootFillersCount);
			for (int i = 0; i < rootFillersCount; i++) {
				positions.add(i);
			}
			elkInferenceFactory_
					.getElkClassInclusionObjectIntersectionOfInclusion(
							extendedRootFillers, positions);
		}
	}
private void deriveInclusion(IndexedContextRootMatch extendedRootMatch,
			IndexedContextRootMatch rootMatch) {
		if (rootMatch.equals(extendedRootMatch)) {
			// nothing to do
			return;
		}
		List<? extends ElkClassExpression> rootFillers = getFillerRanges(
				rootMatch);
		List<? extends ElkClassExpression> extendedRootFillers = getFillerRanges(
				extendedRootMatch);
		int rootFillersCount = rootFillers.size();
		if (rootFillersCount == 1) {
			elkInferenceFactory_
					.getElkClassInclusionObjectIntersectionOfDecomposition(
							extendedRootFillers, 0);
		} else {
			List<Integer> positions = new ArrayList<Integer>(rootFillersCount);
			for (int i = 0; i < rootFillersCount; i++) {
				positions.add(i);
			}
			elkInferenceFactory_
					.getElkClassInclusionObjectIntersectionOfInclusion(
							extendedRootFillers, positions);
		}
	}
Generates inferences for SubClassInclusion(extendedRootMatchExpression
rootMatchExpression ) where the arguments correspond to the values of
respectively extendedRootMatch and rootMatch under
{@link #toElkExpression(IndexedContextRootMatch)}

@param extendedRootMatch
must be an extension of rootMatch (i.e., obtained by sequence
of calls
{@link IndexedContextRootMatch#extend(ElkClassExpression)}
@param rootMatch