one rule base constitutes

roughly speaking,