CONSOLIDATE : 12 OUT relations NEG
CONSOLIDATE : 22 IN relations NEG
dominer [qch] r_isa voler [qch] à IS < 0 and voler [qch] à r_hypo dominer [qch] IS > 0 ==> inverse_relation(15691085, 15447635, 8)
en:tower over something r_isa voler [qch] à IS < 0 and voler [qch] à r_hypo en:tower over something IS > 0 ==> inverse_relation(15691085, 15592541, 8)

fini !