MGTP入力節の構文

• 値域限定の条件を満たさない節 A1,A2,...,An → B1;B2;...;Bm を、

  A1, ..., An, dom(X1), ..., dom(Xk) → B1; ...; Bm

  で置き換える。ただし、

  {X1,...,Xk} = ∪[j=1;m] var(Bj)\∪[i=1;n] var(Ai)

  である。

• 節集合 S 中に現れる定数記号 (定数記号が一つも現れない場合は、定数記号`a') の集合を consts(S)、関数記号の集合を functs(S)とするとき、 節集合 S に dom 定義節集合

  {true → dom(K) | K ∈ consts(S)} ∪
  {dom(X1),...,dom(Xn) → {dom(Fn(X1,..,Xn)) | Fn ∈ functs(S)}

  を加える。