Shimoyama (1999) claims that when IHRC appears within the scope of a universal quantifier, the interpretation of IHRC exemplifies E-type anaphora:  (Shimoyama 1999:156)," and the interpretation of the matrix object is paraphrased by the definite description the term papers he or she wrote this semester.
the interpretation of the relative clause is an instance of E-type anaphora.