内包がよくわからんのでもいちど読み直し
p158 個体概念 (〈s,e〉タイプ)
まさにp144図6.1Aで示された例?
「アメリカ大統領」(名詞)の内包的意味は、各世界から各個体への関数