let
get_asgn_hyp annots = annots.info.a_hyp