2 統語論
2.1 PTQの統語規則
PTQで採用されている17の規則の多くがカテゴリー文法＊に基づく関数適応規則になっており、（1）のように規定されるカテゴリー間を連接していく。＊
(1) 1 e, t∋Cat
2 A, B∈Catならば、A/B, A//B∈Cat
(2）S1 すべてのカテゴリーに対してBA⊆PA
S2 α∈PIV/IVまたはα∈PIV//IVでβ∈PIVならば、F1（α, β）∈PIV
（1）では、eが個体を、tが真理値を表すカテゴリーで、A/B、A//BはともにBカテゴリーと結び付いてAカテゴリーを派生する。２種のスラッシュは、統語上の区別のために採用されている。（2）S1は、複合表現を派生する規則ではなく、任意のカテゴリーに関し、そのすべての基本表現がその句の集合に含まれることを説明している。（2）S2は、例えば、動詞句修飾の副詞langsam（IV//IV）がlaufenなどの自動詞（IV=t/e）と結び付いて新たな動詞句を派生する一方、lesenと結びついてversuchen zu lesenのような表現を派生するversuchenのカテゴリーがIV//IVとなることを示している。＊
PTQには話法の助動詞のカテゴリーはない。これは、内包論理の中で演算子として現れる。否定詞も基本表現には含まれず、時制演算子とともに主部と述部を結びつける統語規則の中で導入され、接続詞も文なり句なりを結ぶ統語規則として組み込まれている。さらに、限定詞に関する統語規則の一つとして普通名詞に不定冠詞を加えて名詞句を派生する規則がある。
花村嘉英（2022）「イディオム－モンタギュー文法からGPSGそしてHPSGへ」より