[多选] 

17、以PAM为前提，应增加（ ）或（ ）为另一前提，可必然推出SOP。