How a dictionary writer defines English