"ComputedMannedSpaceMission" （インタープリタタイプ）

計算から導き出される有人宇宙飛行．

詳細

使用可能な形式

  • 有人宇宙飛行の任意の自然言語名，あるいはこれを返す計算．

制約条件の指定

解釈

例題

例  (3)

有人宇宙飛行を解釈する：

計算から導き出された有人宇宙飛行を解釈する：

あるクラスの有人宇宙飛行に限る：