(pr1,a,deep pr2 m sf)