({<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}) ) ) )