"ComputedDistrictCourt" (インタープリタタイプ)

計算から導き出される米国の地方裁判所.

詳細

使用可能な形式

  • 米国の地方裁判所の任意の自然言語名,あるいはこれを返す計算.

制約条件の指定

解釈

例題

  (2)

地方裁判所を解釈する:

あるクラスの地方裁判所に限る: