List of rules: a, ab, bcd, test, existent