3 --================================================================================
6 `{PrelBase.Eval (M a{-r3H-})}'
11 `{PrelBase.Eval (L a{-r3F-})}'
21 `a{-r3H-} -> M a{-r3H-} -> M a{-r3H-}'
23 _/\_ `a{-s18U-}' -> \ `tpl' ::
28 `B' {_@_ `a{-s18U-}' `tpl' `tpl'}
35 `a{-r3F-} -> Syn a{-r3F-} -> L a{-r3F-}'
37 _/\_ `a{-s18W-}' -> \ `tpl' ::
42 `C' {_@_ `a{-s18W-}' `tpl' `tpl'}
45 `L (Syn c{-aGI-}) -> L (Syn c{-aGI-})'
47 _/\_ `c{-s18X-}' -> \ `ds' ::
52 `N' {_@_ (`Syn' `c{-s18X-}')};
61 `C' {_@_ (`Syn' `c{-s18X-}') `x' `ds'};
66 `M (L (Syn x{-aH8-})) -> M (L (Syn x{-aH8-}))'
68 _/\_ `x{-s18Z-}' -> \ `ds' ::
69 `M (L (Syn x{-s18Z-}))'
73 `A' {_@_ (`L' (`Syn' `x{-s18Z-}'))};
80 _@_ `x{-s18Z-}' `x' } in
83 `M (L (Syn x{-s18Z-}))'
88 `B' {_@_ (`L' (`Syn' `x{-s18Z-}')) `ds' `ds'};