Brenoritvrezorkre
В алетическом контексте оно бесплатно как есть, само по себе (если можно так выразиться и если такое употребление вообще в данном случае возможно), а в деонтическом контексте говорится, что кто-то гарантирует, что пиво будет бесплатным (это не значит, что оно реально будет бесплатным).
Или вот более расхожий пример:
1. "Когда я приду домой, моя квартира должна быть чистой";
2. "Когда я приду домой, моя квартира должна быть чистой" (в разговоре с детьми / прислугой / уборщиками / т.п.).
Быть может не совсем то, что вы ищете, но тем не менее ...
Слово
должен.
Нас интересуют 2 смысла.
2. с инф. обязан сделать что-либо
3. с инф. о том, что непременно, неизбежно совершится, произойдёт
Смысл/семантика слов/словосочетаний выражается средствами того же самого языка.
Иной подход: использовать внешний формальный язык. Онтология
SUMO.
Если посмотреть на
самую базовую ее чать, то там можно найти такой предикат как modalAttribute, подклассы DeonticAttribute & AlethicAttribute. Смысл описывается формально. Язык описания - логика предикатов первого порядка (почти всегда).
Дальше задача сводится к Sense Disambiguation.
Данный подход ориентирован, в первую очередь, на машины, но, тем не менее ...