beir7Spec:
    BETA  REAL
|
    ETA REAL
|
    SPREAD  distribution
;

beir7Specs:
    beir7Specs beir7Spec
|
    // empty
;

beir7:
    BEIR7 beir7Specs
;
