f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksalogic CommonLogic

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksa

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksaspec cl1 =

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksa. (P x)

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksa. (and (P x) (Q y))

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksa

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksa

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksaspec cl2 =

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksa. (or (Cat x) (Mat y))

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksa. (not (On x y))

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksa. (if (P x) (Q x))

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksa

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksaspec cl3 =

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksacl1 and cl2 then

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksa. (exists (z) (and (Pet x) (Happy z) (Attr x z)))

f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30cEugen Kuksaend