<注意２>
ここでは時間制約の代わりに、包摂制約を用いています。