对于句子的处理，比如祈使句，yes-no问句和wh问句。首先以下面的例句作为开始：

Flight 487 serves lunch.   （1）

Serve lunch.    (2）

Does Flight 207 serve lunch?       (3）

Which flights serve lunch?   （4）

这些例句的意义表示都包含在飞机上提供午餐这个命题，但是在句子所使用的背景下这些命题所服务的角色是不同的。更具体地说，第一个例句是给听众传递一个事实信息，第二句是请求一个动作，而后两句是询问信息。为了捕捉这些不同，我们将引入一组可用于FOPC句子的算子。具体地说，我们将针对说明句、祈使句、yes-no问句和wh-问句的FOPC表示，分别引入DCL算子、IMP算子、YNQ算子和WHQ算子。

正确使用这些算子来生成意义表示，需要对每个可能的句子类型有一组正确的语义附着。对于说明句，可以将已使用的基本句法规则简单地转换为公式：

S → NP VP {DCL(VP.sem(NP.sem))}

通常以DCL开头的意义表示可以理解为给现有知识库加人一个对事实的陈述。

祈使句以动词短语开头并缺少一个明显的主语。因为这个默认主语，对主要动词短语的意义表示将由一个λ表达式和一个未绑定的代表这个默认主语的λ变量组成。为了处理这种情况，我们可以通过对一个虚拟的变量使用最终的λ化简来为λ表达式简单地补充一个主语。将IMP算子用于这个表示，则可以得到如下的语义附着：

S → VP {IMP(VP.sem(DummyYou))}

将这个规则用于例句（2），则有下面的表示：

IMP(ヨeServing(e) ∧ Server(e,DummyYou) ∧ Served (e,Lunch)

祈使句可以看成是一种言语行为（speech act）。

yes-no问句是由一个位于句首的助动词，加上一个主语名词短语和一个动词短语组成的。下面的语义附着简单地忽略了助动词，除了YNQ算子，其他都与说明句的意义表示相同：

S → Aux NP VP {YNQ(VP.sem(NP.sem))}

将上面的规则用于例句（3），则可以生成下面的表示：

Y NQ(ヨeServing(e) ∧ Server(e, Flt207) ∧ Served(e, Lunch))

yes-no问句可以理解为：在给定知识库中目前所含知识的前提下，判断问句意义的命题部分是真还是假。通过判断该命题是否在这个知识库中或是否可以从这个知识库推断出，就可以回答yes-no问题。