[ (Espec) [ N ( [Compl ] ) ] ]