298 CHAPTER 9 Rule statement templates and subtemplates 2. at least one fact type for the qualifying clause (if any), as described in Section 7.4.1 in Chapter 7: for example, F342 or F343; 3. at least one fact type for the conditional clause (if any), as also described in Section 7.4.1. F341. ticket barrier retains ticket F342. ticket is valid for journey F343. ticket is expired 9.5 PARTY RULES Party rules (introduced in Section 4.9.4 in Chapter 4) restrict the parties who can perform processes or activities or play roles. Each of the following subcategories of party rule has its own template(s): 1. party restriction rules place restrictions on who can perform some processes or activities or play some roles; the template for these is described in Section 9.5.1; 2. role separation rules prohibit the same party from performing two activities, while role binding rules require that the party performing the second of two activities must be the same as the party who per- formed the first of those activities; the template for both of these is described in Section 9.5.2; 3. information access rules define who can view, create, or update particular information; the tem-