Generate theories about what the user is trying to do