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 ! |
---|