src/PredFinder/inference/EIUtils.cpp
// If the patient of one is the agent of another, that's a contradiction

If the patient of one is the agent of another, that's a contradiction
If the patient of one is the agent of another that ' s a contradiction
BOOST_FOREACH(ElfRelationArg_ptr patient, patientArgs1) {
		BOOST_FOREACH(ElfRelationArg_ptr agent, agentArgs2) {
			if (patient->get_individual() != ElfIndividual_ptr() && agent->get_individual() != ElfIndividual_ptr() &&
				patient->get_individual()->get_best_uri() == agent->get_individual()->get_best_uri())
				return true;
		}
	}
BOOST_FOREACH ( ElfRelationArg_ptr patient , patientArgs1 ) { BOOST_FOREACH ( ElfRelationArg_ptr agent , agentArgs2 ) { if ( patient -> get_individual ( ) != ElfIndividual_ptr ( ) && agent -> get_individual ( ) != ElfIndividual_ptr ( ) && patient -> get_individual ( ) -> get_best_uri ( ) == agent -> get_individual ( ) -> get_best_uri ( ) ) return true ; } }
If the patient of one is the agent of another, that's a contradiction
If the patient of one is the agent of another that ' s a contradiction