3A rule base is composed of a set of theories.