束縛原理は A は LF で適用されるが B, C は別の派生の段階で適用されると統一的でない。
(1)
a. The claim that John was asleep seems to him to be true.
b. It seems to him that the claim that John was asleep is true.
(1a) では John = him であるが (1b) では John ≠ him となる。ミニマリストでは統率範疇の定義を変えてなるべく原理 Aも Bも Cも統一的に当てはまるようにするようだが、やはり ad hoc なやり方だと思う。