PS for PRD test cases

Some PRD test cases (ones that are also Core/BLD) don't use PRD PS because
they use ":-" instead of "IF...THEN."  Can PRD Appendix 9 define an
additional form that includes ":-" , and maybe have a note about it in
section 4.1.1, like there is for "External" in section 2.1.1 ?  Or do we
want to document this mapping somewhere in the test documentation? Or have
two different versions of PS for such test cases, for readability by target
audiences?

Also, I don't find a description of how the last three options in the
ACTION_BLOCK production in Appendix 9 (this syntax is used in the test
cases) relate to what is described in Section 3.1.2. I can gather from the
overview that they're Asserts, but don't think it's enough.

Stella