Next:
Selecting the Result
Up:
An Example
Previous:
The Derived Rules
Rule Application
Now to use this specialised rule to select the result: