Title: Rule groupings
Subjects: Expert systems (Computer science), Verification