道义模态命题"应该Ф的"句式是个多义句式,可表达与过去事实相反,与现在事实相反以及与未来可能性相反等三种违实义,也可表达未来非违实义。此句式的关键是"的"的语法意义。"的"指称一个非未来的时段,要求被其修饰的模态命题要在那个非未来时段里成立,因此"应该Ф的"句可以表达过去时或现在时的道义模态。现在时的道义模态,若Ф表事件,可得未来非违实义,若表状态,可得与现在事实相反的违实义。过去时的道义模态则可得与过去事实相反或与未来可能性相反的违实义。违实义之产生是因为模态命题的事件真实性强度弱于直接断言一个过去或是现在的事件,Grice的语用原则因而推论出事件不为真。此外,"的"具有广义的确认功能,会确认其辖域底下的断言及蕴含为真,因此"应该Ф的"句的违实义无法被取消。