elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/subsumers/ObjectIntersectionFromFirstConjunctRule.java
public static boolean addRulesFor(
			ModifiableIndexedObjectIntersectionOf conjunction,
			ModifiableOntologyIndex index) {
		return index.add(
				conjunction.getSecondConjunct(),
				new ObjectIntersectionFromFirstConjunctRule(conjunction
						.getFirstConjunct(), conjunction));
	}
public static boolean addRulesFor(
			ModifiableIndexedObjectIntersectionOf conjunction,
			ModifiableOntologyIndex index) {
		return index.add(
				conjunction.getSecondConjunct(),
				new ObjectIntersectionFromFirstConjunctRule(conjunction
						.getFirstConjunct(), conjunction));
	}
Add {@link ObjectIntersectionFromFirstConjunctRule}s for the given
{@link ModifiableIndexedObjectIntersectionOf} in the given
{@link ModifiableOntologyIndex}

@param conjunction
@param index