 As medieval logicians knew, propositions expressed with relative clauses also pose other difficulties; see the entry on  medieval syllogism.  If every doctor is healthy, it follows that every young doctor is healthy. By itself, this is expected, since a universally quantified subject licenses replacement of ‘doctor’ with the more restrictive predicate ‘young doctor’. But consider (13) and (14).