let
get_asgn_hyp annots = annots.a_hyp