CONSOLIDATE : 15 OUT relations NEG
Canadair CT-133 Silver Star r_isa véhicule automobile IS < 0 AND véhicule automobile r_hypo Canadair CT-133 Silver Star IS > 0 ==> inverse_relation(47638, 10963453, 8)
CONSOLIDATE : 15 IN relations NEG

fini !