Спасибо за проверку, только
WE/ = not(WRM/ or WO/) and (not WR/) это не эквивалентный вариант, надо добавить еще отрицание
WE/ =not (not(WRM/ or WO/) and (not WR/))
а то было наоборот