sentence1: a notable exception is an article establishing some interpolation properties for circumscription and default logic .
sentence2: a notable exception is an article by amir establishing some interpolation properties for circumscription and default logic .