10.4.3 表示义务性的意态化程式语