;C.3.6 Nouns

kim := proper-noun & 
       [ORTH < "Kim" >].
;kim := word & [ORTH < "Kim" >,
;		    SYNSEM [LOCAL [CAT [HEAD n & [AGR 3sing],
;					SPR <>],
;				   CONT param & [INDEX #1,
;						 RESTR <! !>],
;				   STORE *null-dlist*],
;			    SLASH < >,
;			    WH <! !>,
;			    BCKGRND < predicate & [PREDICATE "named",
;						   PARGS <#1, "Kim">] >],
;		    ARG-ST <>].

sandy := proper-noun &
	 [ORTH < "Sandy"> ].


smiled := fin-iv &
	  [ORTH <"smiled">].


smile-base := base-iv &
	      [ORTH <"smile">].

smile-fin := fin-iv-non-3sing &
	     [ORTH < "smile">].

smiles := fin-iv-3sing &
	  [ORTH <"smiles">].


smile-subj-slash := fin-iv-non-3sing-subj-slash &
		    [ORTH <"smile">].

smiles-subj-slash := fin-iv-3sing-subj-slash &
		     [ORTH <"smiles">].

smiled-subj-slash := fin-iv-subj-slash &
		     [ORTH <"smiled">].

visited := fin-tv &
	   [ORTH <"visited" >].

visited-slash := fin-tv-slash & 
		 [ORTH <"visited">].

visits := fin-tv-3sing &
	  [ORTH < "visits" >].

visit := fin-tv-non-3sing &
	 [ORTH < "visit" >].

visits-slash := fin-tv-3sing-slash &
		[ORTH < "visits" >].

visit-slash := fin-tv-non-3sing-slash &
	       [ORTH <"visit">].

visit-base := base-tv &
	      [ORTH < "visit" >].

visit-base-slash := base-tv-slash &
		    [ORTH <"visit">].

visits-subj-slash := fin-tv-3sing-subj-slash &
		     [ORTH <"visits">].

visit-subj-slash := fin-tv-non-3sing-subj-slash &
		    [ORTH <"visit">].

visited-subj-slash := fin-tv-subj-slash &
		      [ORTH <"visited">].

; THINK
thought := fin-prop-tv &
	 [ORTH <"thought" >].

thinks := fin-prop-tv-3sing &
	  [ORTH < "thinks" >].

think := fin-prop-tv-non-3sing &
	 [ORTH < "think" >].

think-base := base-prop-tv &
	      [ORTH < "think" >].



; PREFER
preferred := fin-outcome-tv &
	     [ORTH <"preferred" >].

prefers := fin-outcome-tv-3sing &
	  [ORTH < "prefers" >].

prefer := fin-outcome-tv-non-3sing &
	 [ORTH < "prefer" >].

prefer-base := base-outcome-tv &
	      [ORTH < "prefer" >].

; WONDER
wondered := fin-wonder-tv &
	 [ORTH <"wondered" >].

wonders := fin-wonder-tv-3sing &
	  [ORTH < "wonders" >].

wonder := fin-wonder-tv-non-3sing &
	 [ORTH < "wonder" >].

wonder-base := base-wonder-tv &
	      [ORTH < "wonder" >].



; Getting the semantics right is a bit tricky... I just steal
; it from the main VP...I guess that's ok.  This formulation might be
; a wee too specific.  It follows from (18) on p219.
does := fin-aux-v-3sing &
	[ORTH <"does">].
		    

did := fin-aux-v &
       [ORTH <"did">].


;TODO: add 'think' back in! and visit!

; complementizers and TO
that := word & 
	[ORTH <"that">,
	 SYNSEM [LOCAL [CAT [HEAD c & [IC -,
				       VFORM fin],
			     COMPS <#2>],
			CONT #1 & austinian]],
	 ARG-ST <#2 & [SYNSEM.LOCAL [CAT [HEAD [IC +,
						VFORM fin],
					  SUBJ < >],
				     CONT #1]]>].


for := word &
       [ORTH <"for">,
	SYNSEM [LOCAL [CAT [HEAD c & [IC -,
				      VFORM inf],
			    SUBJ <>,
			    COMPS <#3, #4>],
		       CONT outcome & [SOA #1]],
		WH <! !>],
	ARG-ST <#3 & [SYNSEM canon-ss & [LOCAL #2]],
		#4 & phrase & [SYNSEM.LOCAL [CAT [HEAD.VFORM inf,
						  SUBJ <[SYNSEM.LOCAL #2] >],
					     CONT #1]]>].
			       


to := word &
      [ORTH <"to">,
       SYNSEM.LOCAL [CAT [HEAD v & [AUX +,
				    VFORM inf],
			  SUBJ <#7 & [SYNSEM [LOCAL #2,
					      SLASH < >]]>],
		     CONT #1],
       ARG-ST <#7, phrase & [SYNSEM.LOCAL [CAT [HEAD.VFORM base,
						SUBJ <[SYNSEM.LOCAL #2]>],
					   CONT #1]]>].




; wh-words
; these should be nouns, but they are so different I just cheat and make them seperate
; TODO: restrictions are just empty.  This continues to half-ass the semantics
; REL is also skipped 
who := word & 
       [ORTH < "who" >,
	SYNSEM [ LOCAL [ CAT [HEAD n & [AGR 3sing],
			      SPR <>],
			 CONT param & [INDEX #i,
				       RESTR <! !>],
			 STORE <! #1 & param & [INDEX #i,
						RESTR <! !>] !>],
		 WH  <! #1 !>],
	ARG-ST <>].