::= ::= (progn2 ) | (v8a ) ::= (mow) | (left) | (ERC) | (ADF0) | (ARG0)