creator Deductions playwright is subclass of creator ⇐ (playwright is subclass of author), (author is subclass of creator), (is subclass of is a transitive relation)