Example =
  List(GenVoca) *EOF*.

GenVoca = 
  "realms" Realms
  "compositions" Compositions
  "restrictions" Restrictions.
Realm = RealmName "=" Components.
Component = ComponentName [Parameters].
Parameter = RealmName.
Restriction = 
  ComponentName
  <preconditions> Constraints
  <postconditions> Constraints
  <prerestrictions> Constraints
  <postrestrictions> Constraints.
Constraint = "c".
// not implemented


Composition = ComponentName "=" Exp.
Exp = ComponentName [Exps].

// repetition buffer rule
Realms = List(Realm).
Compositions = List(Composition).
Restrictions = List(Restriction).
Components = List(Component).
Parameters = List(Parameter).
Exps = List(Exp).
Constraints = List(Constraint).

// terminal buffer rule
ComponentName = Ident.
RealmName = Ident.

List(S) ~ "(" S { "," S} ")".

Main = .