Antecedent Contained Deletion in a Variable-Free Semantics