|
CONSOLIDATE : 51 OUT relations NEG saint r_raff_sem saint>Adj: IS < 0 AND saint>Adj: r_raff_sem-1 saint IS > 0 ==> inverse_relation(1492300, 103402, 2000) saint r_hypo de Viviers IS < 0 AND de Viviers r_isa saint IS > 0 ==> inverse_relation(10778782, 103402, 6) CONSOLIDATE : 1441 IN relations NEG saint>Adj: r_raff_sem saint IS < 0 and saint r_raff_sem-1 saint>Adj: IS > 0 ==> inverse_relation(103402, 1492300, 2000) fini ! |
|---|