Q | pr
	KAI^PRESTON | as
	~CAT->(DOG^~RABBIT) | ^e 1 2
V | pr