- | MOBJ not list list list { G.MustObj ($2, $3, $4, $5) }
- | MSORT not list list list { G.MustSort ($2, $3, $4, $5) }
- | MREL not list list { G.MustRel ($2, $3, $4) }
- | SOBJ not list list list { G.SOnlyObj ($2, $3, $4, $5) }
- | SSORT not list list list { G.SOnlySort ($2, $3, $4, $5) }
- | OREL not list list { G.OnlyRel ($2, $3, $4) }
- | WOBJ not list list list { G.WOnlyObj ($2, $3, $4, $5) }
- | WSORT not list list list { G.WOnlySort ($2, $3, $4, $5) }
+ | MOBJ list list list { G.MustObj ($2, $3, $4) }
+ | MSORT list list list { G.MustSort ($2, $3, $4) }
+ | MREL list list { G.MustRel ($2, $3) }
+ | OOBJ list list list { G.OnlyObj ($2, $3, $4) }
+ | OSORT list list list { G.OnlySort ($2, $3, $4) }
+ | OREL list list { G.OnlyRel ($2, $3) }
+ | UNIV list { G.Universe $2 }