A log.ical recasting of B.inding Theory is performed as an enhancing step tor the purpose ot its gull and lean declarative implementation. A new insight on sentential anaptioric processes is presented which may suggestively be c%ptured by the slogan binding conclitions are me effect of phase quantification on the universe of discourse referents.