183bea41fa640dc8117f3eb45ff935cd81377a84Timo Sirainen(cl-text Cat

d176f84ce5ca2073f4dfbafb457b9c74f6bf0d76Timo Sirainen (P x)

d176f84ce5ca2073f4dfbafb457b9c74f6bf0d76Timo Sirainen (and (P x) (Q y))

d176f84ce5ca2073f4dfbafb457b9c74f6bf0d76Timo Sirainen (or (Cat x) (Mat y))

78fa3c578c14ee8a612f86cf73b6181c7f16463fTimo Sirainen (not (On x y))

d176f84ce5ca2073f4dfbafb457b9c74f6bf0d76Timo Sirainen (if (P x) (Q x))

d176f84ce5ca2073f4dfbafb457b9c74f6bf0d76Timo Sirainen (exists (z) (and (Pet x) (Happy z) (Attr x z)))

d176f84ce5ca2073f4dfbafb457b9c74f6bf0d76Timo Sirainen)

d176f84ce5ca2073f4dfbafb457b9c74f6bf0d76Timo Sirainen