發送短信: Natural language variables: variable-based semantic theories of pronouns and proper names