Логика первого порядка и русский язык

[семорез]

Проще всего разобрать предложение

21. Волк спит.

у него классическая структура S - P, т.е. "волк" это субъект, а про него что-то говорится, это предикат.

волка обозначим буквой `a`, предикат буквой `P`.

Дальше возникает затруднение. А как всё высказывание записать? `P(a)` ? Ну допустим.

Теперь рассмотрим

23. Спящий волк не кусает меня.

Чем `спящий волк` отличается от `волк спит`? Отличается же. Ну и как это записывать?

---

`кусает` по внешнему виду очень похоже на `спит`. Можно 23-ю фразу попробовать разложить на две части, формализовать каждую, и после попробовать объединить две формулы (неясно как).
«Спящий волк» и «не кусает меня». Предикат кусать обозначим буквой `Q`, "меня" обозначим буквой `b`, тогда можно будет написать `¬Q(b)`. А всё вместе как `P(a) ∧  ¬Q(b)`. (Значки любезно предоставлены страницей Список логических символов).
Но меня не вполне устраивает эта запись:
1) почему, например не `P(a) → ¬Q(b)`;
2) или как точнее описать разницу между "спящий волк" и "волк спит";
3) почему "меня"? (при утере информации обратный перевод выглядит неадекватно: «волк спать и не кусать я», или, точнее, «спать волк не кусать я»).