active
2nd
cons
`X`
cons
`Y`
`Z`
mark
`Y`
active
from
`X`
mark
cons
`X`
from
s
`X`
active
2nd
`X`
2nd
active
`X`
active
cons
`X1`
`X2`
cons
active
`X1`
`X2`
active
from
`X`
from
active
`X`
active
s
`X`
s
active
`X`
2nd
mark
`X`
mark
2nd
`X`
cons
mark
`X1`
`X2`
mark
cons
`X1`
`X2`
from
mark
`X`
mark
from
`X`
s
mark
`X`
mark
s
`X`
proper
2nd
`X`
2nd
proper
`X`
proper
cons
`X1`
`X2`
cons
proper
`X1`
proper
`X2`
proper
from
`X`
from
proper
`X`
proper
s
`X`
s
proper
`X`
2nd
ok
`X`
ok
2nd
`X`
cons
ok
`X1`
ok
`X2`
ok
cons
`X1`
`X2`
from
ok
`X`
ok
from
`X`
s
ok
`X`
ok
s
`X`
top
mark
`X`
top
proper
`X`
top
ok
`X`
top
active
`X`
active
1
2nd
1
cons
2
mark
1
from
1
s
1
proper
1
ok
1
top
1
FULL
./TRS/TRCSR/Ex1_2_Luc02c_C.trs