app app and true true true app app and true false false app app and false true false app app and false false false app app or true true true app app or true false true app app or false 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 2.2 app app forsome p app app cons x xs app or app p x app app forall p app app cons x xs app and app p x app app forall p app app cons x xs app p x app app forall p app app cons x xs app app and app p x app app forall p xs app app forsome p app app cons x xs app p x app app forsome p app app cons x xs app app or app p x app app forsome p xs app app forall p app app cons x xs app app forall p xs app app forsome p app app cons x xs app app forsome p xs true app app forsome p app app cons x xs app app forsome p xs app app forall p app app cons x xs app app forall p xs app app forsome p app app cons x xs app p x app app forall p app app cons x xs app p x true and 0 1 false 0 71076 true 0 103488 forsome 0 9998 forall 0 42410 nil 0 1 or 0 18816 app 2 2 0 cons 0 978 app 2 1 2 30538 app app forsome p app app cons x xs app app or app p x app app forsome p xs false app app forall p app app cons x xs app app and app p x app app forall p xs false app app forall p app app cons x xs app and app p x false app app forsome p app app cons x xs app or app p x false NaTT certifiable-1.6