CONSOLIDATE : 2 OUT relations NEG
en:right deferent duct proper r_isa en:right IS < 0 AND en:right r_hypo en:right deferent duct proper IS > 0 ==> inverse_relation(6887944, 8857533, 8)
CONSOLIDATE : 2 IN relations NEG

fini !