Предикат, y = a, субект;
x, "формата на това тяло е телесна";
f(x), "формата на това тяло е душевна,
но защо душата е кучешка (и най-подир 'моя')?
ами защото тялото е кучешко (и най-подир 'мое')";
y = f(x), "формата на това тяло е духовна,
но защо тялото е кучешко (и най-подир 'мое')?
ами защото душата е кучешка (и най-подир 'моя')".