3 ================================================================================
7 _forall_ [t{-ang-}] => t{-ang-}
22 [t{-anG-} t{-anC-} t{-anE-}]
24 t{-anG-} -> t{-anC-} -> t{-anE-} -> t{-anC-}
27 _/\_ t{-anG-} t{-anC-} t{-anE-} -> \ x_r3z ::
36 _forall_ [t{-any-} t{-anA-}] => t{-any-} -> t{-anA-} -> t{-any-}
39 _/\_ t{-any-} t{-anA-} -> \ a_r3F ::
49 _@_ t{-anC-} _@_ t{-anE-} y_r3B
51 _forall_ [t{-anO-}] => t{-anO-} -> t{-anO-}
54 _/\_ t{-anO-} -> \ x_r3j ::
61 [t{-anW-} t{-ao2-} t{-ao4-}]
63 t{-ao2-} -> t{-ao4-} -> t{-anW-} -> t{-anW-}
66 _/\_ t{-anW-} t{-ao2-} t{-ao4-} -> \ x_r3l ::
80 [t{-aoe-} t{-aoh-} t{-aoj-} t{-aoo-}]
82 t{-aoe-} -> t{-aoh-} -> t{-aoo-} -> t{-aoj-} -> t{-aoj-}
85 _/\_ t{-aoe-} t{-aoh-} t{-aoj-} t{-aoo-} -> \ w_r3r ::
99 _@_ t{-aoj-} _@_ t{-aoe-} _@_ t{-aoh-} w_r3r x_r3t z_r3x
101 _forall_ [t{-aou-}] => t{-aou-} -> t{-aou-}
108 _forall_ [t{-aoA-}] => t{-aoA-} -> t{-aoA-}