I
n
[
]
:
=
c
a
u
s
a
l
s
[
[
2
]
]
O
u
t
[
]
=
{
{
A
A
}
,
{
A
B
}
}
I
n
[
]
:
=
E
n
u
m
e
r
a
t
e
S
u
b
s
t
i
t
u
t
i
o
n
S
y
s
t
e
m
R
u
l
e
s
[
{
1
2
,
1
1
}
,
2
]
O
u
t
[
]
=