CONSOLIDATE : 0 OUT relations NEG
CONSOLIDATE : 1 IN relations NEG
en:spy r_hypo en:lay something bare IS < 0 and en:lay something bare r_isa en:spy IS > 0 ==> inverse_relation(15562625, 14925062, 6)

fini !