I setninga er , men ikke , koreferent med . Leddet som viser til et annet (her: er av leddet det er koreferent med, dette leddet er . I bindingsteorien er en anafor en konstituent som være bundet (som ). Pronomen, på sin side, kan, men må ikke, være bundet. Setninga er tvetydig; kan være koreferent med, og dermed bundet av , men det kan også være , det vil si hente referansen sin fra konteksten.