postConditionSequencingRuleType is derived by extension from sequencingRuleType. It adds an element ruleAction that is a simpleType constrained to a vocabulary relevant to post-Condition sequencing rules