示例
信念小明相信有人這次考試考了滿分
本句有兩種解讀，翻譯成形式語言如下：
- 語句性模態解讀： （小明相信：存在x，x這次考試考了滿分）
- 事務性模態： （存在x，小明相信x這次考試考了滿分）
在從言解讀下，小明的信念並非針對特定對象，只是相信有些不知道是誰的人這次考試考了滿分。
在從實解讀下，這段話指出了某些人，小明的信念是針對這些特定的人，相信這些人這次考試考了滿分。
想望小美想要嫁給全國最有錢的人
本句有從言從實兩種解讀，翻譯成形式語言如下：
- 從言解讀： （小美想要：存在唯一的x，x是全國最有錢的人，且嫁給x）
- 從實解讀： （存在唯一的x，x是全國最有錢的人，且小美想要嫁給x）
在從言解讀下，小美的想望並非針對特定對象，而是一個整體：「小美嫁給全國最有錢的人」，只要有任何對象符合「全國最有錢的人」這條件，小美就想要嫁給那對象。可大致描述成：「小美想要：她嫁給全國最有錢的人」。
在從實解讀下，這段話是針對某個特定對象，這對象恰好實際上是全國最有錢的人，小美的想望是針對那對象。可大致描述成：「針對那個全國最有錢的人，小美想要嫁給他」。
一種區別方式是，假如小美一直都是「想要嫁給全國最有錢的人」，目前全國最有錢的人是張三，而某天李四成了全國最有錢的人，小美也清楚這件事。此時如果小美還是想要嫁給張三，便符合原句的從實解讀；如果小美變得想要嫁給李四，便符合原句的從言解讀。
模態媽媽是必然有孩子的（媽媽必然是有孩子的）
本句有從言從實兩種解讀，翻譯成形式語言如下：
- 從言解讀： （必然地：若x是媽媽，則x是有孩子的）
- 從實解讀： （若x是媽媽，則x是必然有孩子的）
「必然Ｘ」可理解作「不可能不Ｘ」或「所有可能情況下都Ｘ」。
若以從言解讀，這句話是說，在所有可能的情況下，只要小美是個媽媽，小美就有孩子。但這不排除小美仍然有可能沒有孩子，例如，在某個小美不是媽媽的可能情況裏，小美就可以沒有孩子。
若以從實解讀，這句話是說，小美如果是個媽媽，則在所有可能的情況下，小美都有孩子。即使在小美不是媽媽的可能情況裏，小美也有孩子。
註釋
參考資料
外部連結
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
