Completed RuleBaseImpl and tested.