CONSOLIDATE : 1 OUT relations NEG
S.VIII r_isa suburbi IS < 0 AND suburbi r_hypo S.VIII IS > 0 ==> inverse_relation(10369866, 10369867, 8)
CONSOLIDATE : 1 IN relations NEG

fini !