Semantic Structure and Logical Form