let get_asgn_goal annots = annots.info.a_goal