Матричные подязыки и психология (социология)?

Интересно проанализировать понятия и отношения (припомнив фразу Нильса Бора относительно того, что утверждение нетривиально если обратное к нему несправедливо или сомнительно)
Берем классический матричный текст

Он W и BOOL ЗНАЕТ что он BOOL W => (Action, MaxProb)

Если вместо W подствляем ЗНАЕТ, а вместо BOOL пропуск или отрицание (НЕ) приходим к классике - замкнутой серии утверждений о том как надо обращаться с дураком и пророком
От ИЗБЕГАЙ до СЛЕДУЙ

А вот что будет если подставлять иные атрибуты?
Скажем УМЕН (но это рядом со ЗНАЕТ)
А вот КРАСИВ, БЕДЕН, УДАЧЛИВ, ЛЕНИВ, НЕГОДЯЙ, ВРЕМЕНЩИК, ЛЬСТЕЦ, АВАНТЮРИСТ,....
Видимо не всегда пройдет, а то и ситуативно будет
"Он либерал и знает что он либерал - (акции явно неоднозначны)"
Для того и вводим MaxProb - акцию выбранную по максимальной субъективной вероятности и оценку этой вероятности
Можно дорисовывать и субъектов, отвечающих ментальным образам

Матричная структура удобна для формализации и особенно интересна именно игра с обратными утверждениями (выстраиваемая тут автоматом)