Tabrou

Error

Click [X] button, or outside of this dialog to close.

Warning

Click [X] button, or outside of this dialog to close.

Infomation

Click [X] button, or outside of this dialog to close.

??? Choose an individual name

Click [X] button, or outside of this dialog to close.

Substitute which for which

????

Formula:

Click [X] button, or outside of this dialog to close.

Export

??? Copy and paste the TeX source below

TeX source here
Exmaple:
\ptbegtree
 \ptbeg
 \npile{S\\
        see' (s, k)\\
        \lambda y see' ( y,k ) (s)}
    \ptbeg
    \npile{NP\\s}
      \npile{Sam\\s}
    \ptend
    \ptbeg
    \npile{VP\\ \lambda y see' ( y,k )\\
                 \lambda x \lambda y see' ( y,x ) (k)}
            \ptbeg
            \npile{V\\ \lambda x \lambda y see' ( y,x ) }
                \npile{saw\\ \lambda x \lambda y see ( y,x )}
            \ptend
            \ptbeg
            \npile{NP\\k}
                  \npile{Kim\\k}
            \ptend
     \ptend
\ptend
\ptendtree

Click [X] button, or outside of this dialog to close.

Open Help 日本語版

Symbols

Premises

Conclusion

Tableau

ここはデバッグ・テスト用本番では消えます

Symbols

Premises

Conclusion

Tableau

ここはデバッグ・テスト用 本番では消えます

ここはデバッグ・テスト用本番では消えます