| テキスト | ピクチャー |
|---|---|
| ラベル（名前) | ワイヤー頂点 |
| 型（命題含む） | 色付きワイヤー |
| 項 | ストリング図 |
| 宣言 | 入力端頂点とワイヤー |
| コンテキスト | ワイヤーパレット |
| シーケント | ノード |
| 公理シーケント | 展開不可能ノード |
| 割り当て | 展開可能ノード |
| ステージ | パレット付きキャンバス |
| コマンド | アクション／マニピュレーション |
- ムービー（動画）： ステージ／キャンバスの時間的変化の様子を記録したデータ
- リプレイ〈再生〉： ムービーの再生実演
- スクリプト： ムービーと等価な情報を持ったテキスト表現
- 散文化： ムービーの内容を自然言語テキストに書き下すこと。
