Antecedent-contained deletion
 
x
OK