let
mk_fout_assigns_id x = mk_prop
PKAFctOut
(
Property
.
IPAssigns
x)