1. c-command avagy k-vezérlés

2. logikailag erős következmény

3. lefele monoton kvantor

4. OCP

5. nyelvtanok közti gyenge és erős ekvivalencia

6. kormányzás (esetleg Empty Category Principle)