public final DisjointSubsumer getConclusion(
			DisjointSubsumer.Factory factory) {
		return factory.getDisjointSubsumer(getDestination(),
				getDisjointExpressions(), getPosition());
	}
public final DisjointSubsumer getConclusion ( DisjointSubsumer . Factory factory ) { return factory . getDisjointSubsumer ( getDestination ( ) , getDisjointExpressions ( ) , getPosition ( ) ) ; }
@param factory
the factory for creating conclusions

@return the conclusion produced by this inference