The rule base consists

evidently, obviously