GALにおいて、
＜＞記号を使って、以下の内容を記述できます。
・順序を表す。
・｢〜について｣を表す。
・時制を表す。
｢,｣記号を併用して、順序を表します。
記述形式は、{}表記と同じですが、順序がある点が異なります。
好きな犬＜ポチ,シロ,･･･＞
また、よく使われるケースでは、手順を示す場合に使われます。
手順＜A,B,C＞
これは以下の手順であると、示しています。
��A
��B
��C
一方、｢,｣記号を併用せずに単体として、記述される場合は、
文の主題を示すために表記(｢〜について｣)されるか、時制を示すために使用されます。
そこで、ここでいう文の主題とは何かということになりますが、
それは、順序の主題とも言えます。
上記の例を使えば、
好きな犬＜ポチ,シロ,･･･＞
の｢好きな犬｣が順序の主題と言えます。
そこで、＜好きな犬＞と表記すれば、好きな犬(の順序)について、
表記していることになるのです。
ここで、順序の主題については、後述の世界記述を参照下さい。
主題を表現する場合の例は以下になります。
I.srvy†(<Flwr>)
srvy：調査する
｢私は花について調査した｣
一方、単純な以下の表現との違いについて、確認してください。
I.srvy†(●Flw)
｢私はこの花を調査した｣
そこで、主題を表現する場合に実際に表現される内容は、
変項xを用いれば、以下のようになります。
ただし、GALでは変項xは自由にはなりません。
例えば、λ表記では変項はλ記号で束縛され、λ抽象となります。
ここでは、ループ記号で束縛されます。
∃x.[Flwr∋x].(I.srvy†(x))
｢私は、花に属する何かを調査した｣
これが、｢I.srvy†(<Flwr>)｣と同義の表現です。
次の、時制こそ、全ての記述に対しての順序の主題です。
時制についての詳細は、後述とさせていただきますが、
一つだけ以下の記述形式を説明させていただきます。
＜~P~＞
｢Pである時｣(Pは文)
例えば、使用例は以下のようなものです。
＜~Frst.I.thw†(Ball)~＞.I=10Old
Frst:はじめて
thw:投げる
｢はじめて私がボールを投げた時、私は10歳だった｣