app app and true true true app app and x false false app app and false y false app app or true y true app app or x true true app app or false false false app app forall p nil true app app forall p app app cons x xs app app and app p x app app forall p xs app app forsome p nil false app app forsome p app app cons x xs app app or app p x app app forsome p xs app 2 and 0 true 0 false 0 or 0 forall 0 nil 0 cons 0 forsome 0 FULL ./TRS/higher-order/AotoYam/012.trs