3s with an optional 2 at the end, the rules might be clearer as
1. 3 functions in a row is a fork (or A f g), which is itself a function
2. Go to 1 until there are <2 left to the left of the rightmost identified fork
3. If there is a function 'left over', it is an atop