Class(a1): {{t1, t2, t3}, {t4}}
Class(a2): {{t1, t3, t4}, {t2}}
Class(a3): {{t1, t4}, {t2, t3}}