Base pattern in forall quantifier

- Add base pattern to forall element to filter down the universe of
facts
- Reorganized quantifier elements in the rule model