Variables In Logic And Natural Language