CONSOLIDATE : 2 OUT relations NEG
basilique Sainte-Marie-Majeure r_isa quatre basiliques majeures IS < 0 AND quatre basiliques majeures r_hypo basilique Sainte-Marie-Majeure IS > 0 ==> inverse_relation(10039076, 9563669, 8)
CONSOLIDATE : 60 IN relations NEG

fini !