Natural Language Variables: Variable-Based Semantic Theories Of Pronouns And Proper Names