Title: The logic of English predicate complement constructions