1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
% test15.7.ott is_v test
% transitive subrules used in symterms in rules
grammar
a :: 'a_' ::=
| A a av avv :: :: A
| B a av avv :: :: B
| C a av avv :: :: C
| D :: :: D
av :: 'av_' ::=
| B a av avv :: :: B
| C a av avv :: :: C
| D :: :: D
avv :: 'avv_' ::=
| C a av avv :: :: C
| D :: :: D
subrules
av <:: a
avv <:: av
defns
Jtype :: '' ::=
defn
|- a :: :: T :: T_ by
|- C a av avv
------------ :: 1
|- D
|- C avv avv avv
------------ :: 2
|- D
%shouldn't parse
%|- C a1 a2 a3
%------------ :: 3
%|- D
|
