Return to Article Details Antecedent Contained Deletion in a Variable-Free Semantics Download Download PDF