let
mk_var_pos_id kf s ca = mk_prop
PKVarPos
(mk_annot_id kf s ca)