Towards Machine Proficiency With Semantic Underspecification