blob: 0a2a6b7201c05df29a2e1326f6bf601148cb7fd3 (
plain)
1
|
({<0,4> [Goal] ||| [S] ||| [1]}({<0,4> [S] ||| [S] [X] ||| [1] [2]}({<0,2> [S] ||| [S] [X] ||| [1] [2]}({<0,1> [S] ||| [X] ||| [1]}({<0,1> [X] ||| ( ||| (}) ) ({<1,2> [X] ||| ein ||| another}) ) ({<2,4> [X] ||| [X] ) ||| [1] level )}({<2,3> [X] ||| test ||| test}) ) ) )
|