CONSOLIDATE : 454 OUT relations NEG
en:precess r_isa en:have IS < 0 AND en:have r_hypo en:precess IS > 0 ==> UNCHANGED, relation confirmed (c=1)
CONSOLIDATE : 452 IN relations NEG

fini !