| 1 | Must be able to learn Intransitive groups |
| 2 | Should be able to learn infinite groups of finite permutations |
| 3 | Should be able to learn automorphism groups |
| 4 | Should be able to learn linear groups |
| 5 | Should be able to learn Frobenius groups |
| 6 | Should be able to learn nilpotent maximal subgroups |
| 7 | Should be able to learn transfers |
| 8 | Should be able to learn normal subgroups |
| 9 | Should be able to learn complete groups |