CONSOLIDATE : 0 OUT relations NEG
CONSOLIDATE : 3 IN relations NEG
Astronomie r_domain-1 supergéantes rouges IS < 0 and supergéantes rouges r_domain Astronomie IS > 0 ==> inverse_relation(281330, 153253, 3)
astronomie r_domain-1 supergéantes rouges IS < 0 and supergéantes rouges r_domain astronomie IS > 0 ==> inverse_relation(281330, 16644, 3)

fini !