( :?names & ( get $ ( " " , MEM , X , ML ) : ? ( ( Student . (? (Name.?name) ?,) | ? (Name.?name) ? ) & !names !name:?names & ~ ) ? | !names ) )