%G{for%FOR_LENGTH_SUC} %G{next} %G{for%FOR_LENGTH_ANT} %G{for%FOR_LENGTH_SUC}%G{next} %G{next}
Relevant hyp: %G{v%SOL_COUNTHYPREL}
Suc length %G{v%LENGTH_SUC}
Ant length %G{v%LENGTH_ANT}%G{v%COUNT_HYP_REL}