elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/subsumers/PropagationFromExistentialFillerRule.java
void applyForProperty(IndexedObjectProperty property,
			ContextPremises premises, ClassInferenceProducer producer) {

		for (IndexedObjectSomeValuesFrom e : negExistentials_) {
			if (e.getProperty().getSaturated().getSubPropertyChains()
					.contains(property)) {
				producer.produce(new PropagationGenerated(premises.getRoot(),
						property, e));
			}
		}

	}
void applyForProperty(IndexedObjectProperty property,
			ContextPremises premises, ClassInferenceProducer producer) {

		for (IndexedObjectSomeValuesFrom e : negExistentials_) {
			if (e.getProperty().getSaturated().getSubPropertyChains()
					.contains(property)) {
				producer.produce(new PropagationGenerated(premises.getRoot(),
						property, e));
			}
		}

	}
Produces propagations of {@link IndexedObjectSomeValuesFrom} over the
given {@link IndexedObjectProperty} in the given {@link Context}

@param property
@param premises
@param producer