CONSOLIDATE : 1 OUT relations NEG
chez Castel r_isa chez IS < 0 AND chez r_hypo chez Castel IS > 0 ==> inverse_relation(115973, 25471010, 8)
CONSOLIDATE : 1 IN relations NEG

fini !