Reasoning with Underspecification in the Logical Form