Now have a query function where the user enters a set-theoretic description of the group he or she would like to consider, and the function returns a list of all the names from that group and their corresponding membership information. So, the task of getting information is basically complete. Some of these functions should be better documented, though.