12.1.1.2.2 With existential verbs 'haver/ter'

Expletive subjects are annotated in existential constructions with the verbs haver and ter:
( (IP-MAT (NP-SBJ *exp*)
	  (NEG não)
	  (HV-P há)
	  (NP-ACC (N-P crueldades) (CONJ-NEG nem) (N inveja))
	  (. :))
  (TYCHO BRAHE; ID A_001_PSD,28.479))

( (IP-MAT (NP-SBJ *exp*)
	  (ADVP (ADV-NEG Jamais))

	  (HV-D houve)
	  (NP-ACC (ADJ-R-F tanta) (N necessidade))
	  (. .))
  (POST SCRIPTUM; ID PSCR0010,.31))

( (IP-MAT (NP-SBJ *exp*)
	  (PP (P En)
	      (NP (D-F aquela) (N abadia)))
	  (HV-D auia)
	  (NP-ACC (D-UM-F hũa)
		  (N mõia)
		  (CP-REL (WNP-1 (WPRO que))
			  (IP-SUB (NP-SBJ *T*-1)
				  (VB-RA entrara)
				  (PP (P en)
				      (NP (N ordẽ)))
				  (CP-ADV (C porque)
					  (IP-SUB (IP-SUB (NP-SBJ *pro*)
							  (VB-RA entẽdera)
							  (NP-ACC (NPR Lancaloc)))
						  (CONJP (CONJ e)
							 (IP-SUB (NP-SBJ *pro*)
								 (NEG nõ)
								 (NP-ACC (CL na))
								 (VB-RA quisera))))))))
	  (. .))
  (WOCHWEL; ID DSG696,.2))

( (IP-MAT (NP-SBJ *exp*)
	  (NEG Não)
	  (HV-P-3S há)
	  (NP-ACC (N cobra)
		  (Q-NEG-F nenhuma)
		  (CP-REL (WNP-1 (WPRO que))
			  (IP-SUB (NP-SBJ *T*-1)
				  (NEG não)
				  (SR-SP-3S seja)
				  (ADJP-PRD (ADJ-F venenosa)))))
	  (. .))
  (CORDIAL-SIN; ID ALC43,12))

( (IP-MAT (NP-SBJ *exp*)
	  (NEG Não)
	  (TR-P-3S tem)
	  (NP-ACC (NP (NPR padre) (Q-NEG nenhum))
		  (, ,)
		  (CONJP (CONJ-NEG nem)
			 (NP (N igreja) (Q-NEG-F nenhuma)))
		  (, ,)
		  (CONJP (CONJ-NEG nem)
			 (NP (N livro)
			     (Q-NEG nenhum)
			     (PP (P de)
				 (NP (N católico))
				 (, ,)
				 (PP-PRN (P de)
					 (NP (N religião))))))
		  (, ,)
		  (CP-REL (WNP-1 (WPRO que))
			  (IP-SUB (NP-SBJ *T*-1)
				  (VB-SP-3S diga)
				  (CP-THT (C que)
					  (NP-LFD-2 (NPR Nossa_Senhora))
					  (CP-THT (C que)
						  (IP-SUB (NP-SBJ *ICH*-2)
							  (SR-D-3S foi)
							  (CP-CMP (WADVP 0)
								  (C como)
								  (IP-SUB (ADVP-MSR *T*)
									  (NP-SBJ (PRO nós))
									  (VB-P-1P fazemos)
									  (PP (P com)
									      (NP (D-P os) (PRO$-P nossos) (N-P homens)))))))))))
	  (. .))
  (CORDIAL-SIN; ID PFT27,45))

( (IP-MAT (CONJ Mas)
	  (, ,)
	  (NP-SBJ *exp*)
	  (TR-P-3S tem)
	  (NP-ACC (N gente)
		  (CP-REL (WNP-1 (WPRO que))
			  (IP-SUB (NP-SBJ *T*-1)
				  (TR-P-3S tem)
				  (NP-ACC (N fé)))))
	  (. .))
  (CORDIAL-SIN; ID PFT27,9))

( (CP-EXL (IP-IND (NP-SBJ *exp*)
		  (TR-P-3S Tem)
		  (NP-ACC (OUTRO-F-P outras)
			  (N-P ocasiões)
			  (CP-REL (WPP-1 (P (CODE {em}))
					 (NP (WPRO que)))
				  (IP-SUB (PP *T*-1)
					  (NP-SBJ *exp*)
					  (VB-P-3S dá)
					  (NP-ACC (N-P formigas))))))
	  (. !))
  (CORDIAL-SIN; ID ALV47,24))
The internal argument of haver is usually labelled NP-ACC, except when a plural form of haver agrees with it. In such cases, the expletive subject is co-indexed with the postverbal NP:
( (IP-MAT (CONJ mas)
	  (NP-SBJ-1 *exp*)
	  (PP (ADV aí)
	      (P para)
	      (NP (N baixo)))
	  (HV-P-3P hão)
	  (NP-1 (N-P adegas))
	  (. .))
  (CORDIAL-SIN; ID FLF54,3))

( (CP-D (C porque)
	(IP-IND (IP-IND (NP-SBJ *exp*)
			(NEG não)
			(HV-D-3S havia)
			(NP-ACC (N-P carros)))
		(, ,)
		(CONJP (IP-IND (NP-SBJ *exp*)
			       (NEG não)
			       (HV-D-3S havia)
			       (NP-ACC (N-P automóveis))
			       (ADVP (ADV aqui))))
		(, ,)
		(CONJP (IP-IND (NP-1 *exp*)
			       (NEG não)
			       (HV-D-3P haviam)
			       (NP-1 (N-P camionetas)))))
	(. .))
  (CORDIAL-SIN; ID MIG14,34)) 

( (IP-MAT (CONJ e)
	  (ADVP (ADV assim))
	  (CP-ADV (C enquanto)
		  (IP-SUB (NP-SBJ *exp*-1)
			  (HV-SR houverem)
			  (NP-1 (N-P cores) (, ,) (N-P sombras) (, ,) (CONJ e) (N-P pretextos))))
	  (, ,)
	  (HV-P hão-@)
	  (PP (P @de)
	      (IP-INF (VB padecer)))
	  (NP-SBJ (NP (D-F a) (N verdade))
		  (, ,)
		  (CONJP (NP (D-F a) (N justiça)))
		  (, ,)
		  (CONJP (CONJ e)
			 (NP (D-F a) (N virtude))))
	  (. .))
   (TYCHO BRAHE; ID A_001_PSD,146.3446))