let get_asgn_goal annots = annots.a_goal