let get_goal_only annots = annots.info.p_goal