NATOrd = RelIncl omega