Reasoning about Ambiguous Definite Descriptions