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));
			}
		}

	}
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
Produces propagations of { @link IndexedObjectSomeValuesFrom } over the given { @link IndexedObjectProperty } in the given { @link Context }