not not x x not or x y and not not not x not not not y not and x y or not not not x not not not y not 1 or 2 and 2 FULL ./TRS/D33/20.trs