problem-set/pelletier/p35.desc created : 08/17/89 revised : 08/17/89 Natural Language Description: Full Predicate Logic (without Identity and Functions). Problem #35. (Ex)(Ey)(Pxy -> (Ax)(Ay)Pxy). Versions: p35.in - declarative representation. created by : From Pelletier paper, 1986. verified for ITP : untested. translated for OTTER by : caw. verified for OTTER : 08/17/89.