Javascript doit fonctionner ! Activez-le et rechargez cette page.
Le Consolidateur

CONSOLIDATE : 3 OUT relations NEG
en:chip r_hypo de premier ordre IS < 0 AND de premier ordre r_isa en:chip IS > 0 ==> inverse_relation(198411, 14928045, 6)
en:chip r_hypo de haute tenue IS < 0 AND de haute tenue r_isa en:chip IS > 0 ==> inverse_relation(198359, 14928045, 6)
en:chip r_hypo en:unparallelled IS < 0 AND en:unparallelled r_isa en:chip IS > 0 ==> inverse_relation(15454495, 14928045, 6)
CONSOLIDATE : 3 IN relations NEG

fini !