sentences:  *Square brackets throughout example 4 indicate an empty DP category
  
  This English example shows that DP [Cheri] is originally introduced in the specifier position of the embedded infinitive clause, before moving to the specifier position of the matrix clause.This movement happens in order to check the features of the raising verb [seem], and leaves behind a DP-trace (tDP) in the original position of the DP.You can use the position of the DP-trace to identify where the DP is introduced in the underlying structure.