＞FOLで存在記号が2項述語と1項述語の連言を束縛しているところを、
＞DLsでは、存在記号が2項述語（ロールとかいう）を束縛しているように記述している。
いまいち何を言っているのか分からない。詳細きぼん。