A sentence is an atomic sentence or a (compound) sentence. An atomic sentence consists of a predicate and constants the predicate has as its arguments. The set of constants is single-sorted. There is ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する