Labeled resolution for discourse semantics