running example from RIF-PRD represented in PR Reaction RuleML