voters.addRequiredMember(adults);
voters.addMember(m_anyone);
// Elmer belongs to the citizens and adults...
User elmer = RoleFactory.createUser("elmer");
citizens.addMember(elmer);
adults.addMember(elmer);
// Pepe belongs to the citizens, but is not an adult...
User pepe = RoleFactory.createUser("pepe");
citizens.addMember(pepe);
// Bugs is an adult, but is not a citizen...
User bugs = RoleFactory.createUser("bugs");
adults.addMember(bugs);
// Daffy is not an adult, neither a citizen...
User daffy = RoleFactory.createUser("daffy");
assertTrue(m_roleChecker.isImpliedBy(voters, elmer));
assertFalse(m_roleChecker.isImpliedBy(voters, pepe));
assertFalse(m_roleChecker.isImpliedBy(voters, bugs));
assertFalse(m_roleChecker.isImpliedBy(voters, daffy));