|
CONSOLIDATE : 3 OUT relations NEG pointer>Ver:Inf r_raff_sem pointer IS < 0 AND pointer r_raff_sem-1 pointer>Ver:Inf IS > 0 ==> inverse_relation(90739, 594548, 2000) pointer>Ver:Inf r_domain en:computational IS < 0 AND en:computational r_domain-1 pointer>Ver:Inf IS > 0 ==> inverse_relation(15201150, 594548, 27) CONSOLIDATE : 5 IN relations NEG pointer r_raff_sem pointer>Ver:Inf IS < 0 and pointer>Ver:Inf r_raff_sem-1 pointer IS > 0 ==> inverse_relation(594548, 90739, 2000) fini ! |
|---|