Accordingly, they have been considered one of the most robust and intriguing grammar submodules, usually referred to as binding theory.
in contrast to this, the formal and computational handling of binding constraints has presented considerable resistance.