;;~~~~~~~~~~~~~~~~~~~~~~~~~
;; Feature Templates Definitions: abbreviates writing features specifications
;;~~~~~~~~~~~~~~~~~~~~~~~~~


Let BASE be 	<fstruc FINITE> = -
Let + be 	<fstruc FINITE> = +
			<fstruc subj case> = NOM
Let TO be 	<fstruc Vform> = TO
;;~~~~~~~~~~~~~~~~~~~~~~~~~~~
Let 1 be <fstruc agr pers> = 1
Let 2 be <fstruc agr pers> = 2
Let 3 be <fstruc agr pers> = 3

Let SG be <fstruc agr num> = SG
Let PL be <fstruc agr num> = PL
Let SG-PL be <fstruc agr num> = {SG PL}
Let NOM be 	<fstruc case> = NOM
Let ACC be	 	<fstruc case> = ACC
Let NOM-ACC be 	<fstruc case> = {NOM ACC}


Let PRES be <fstruc Vtense> = PRES 
Let PAST be <fstruc Vtense> = PAST 


;;~~~~~~~~~~~~~~~~~~~~~~~~~~~
;; 		Subcategorisation
;;~~~~~~~~~~~~~~~~~~~~~~~~~~~

;;  Auxiliaries  (i.e is happy..)
Let AUX be     <subcat> = ap

;;   Intransitive verbs (i.e. cry etc..)
Let VI be  	<subcat> = iv

;;   Transitive verbs (i.e. see etc..)
Let VNP be  	<subcat> = tv

;;   Transitive verbs with NP and an infinitive phrase (i.e. want him to cry etc..)
Let VNPINFP be  	<subcat> = tv-inf

;;   Transitive verbs with an infinitive phrase (i.e. want to cry etc..)
Let VINFP be  <subcat> = inf

;;   Transitive verbs with NP and a verb phrase (i.e. see him cry etc..)
Let VNPBASE be 	 <subcat> = tv-base

;; For verbs taking AP as a complement (i.e. be happy..)
Let ADJP be  	<subcat> = ap

;;~~~~~~~~~~~~~~~~~~~~~~~~~~~
;;		Phrase Structure Rules
;;~~~~~~~~~~~~~~~~~~~~~~~~~~~

Rule S -> NP VP
		<S fstruc subj> = <NP fstruc>
		<S fstruc> = <VP fstruc>
		<NP fstruc case > = NOM
		<S fstruc FINITE> = +
		<NP fstruc agr> = <VP fstruc agr>  


Rule NP ->  {(DET ) (AP) N} / PN
		<DET fstruc agr> = <NP fstruc agr>  
		<NP fstruc> = <N fstruc>
		<NP fstruc> = <PN fstruc>
		<NP fstruc adj> = <AP fstruc>
		<NP fstruc spec> = <DET fstruc>

Rule VP -> AUX  AP
		<VP fstruc> = <AUX fstruc>
		<VP fstruc xcomp> = <AP fstruc>

Rule AP -> (AdvM) A
		<AP fstruc> = <A fstruc>
        <AP fstruc adj> = <ADVM fstruc>
         
Rule AP -> (AdvM) A INFP
		<AP fstruc> = <A fstruc>
		<AP fstruc xcomp> = <INFP fstruc>
		<A subcat> = inf   
        <AP fstruc adj> = <ADVM fstruc>

Rule INFP -> TO VP
		<INFP fstruc> = <VP fstruc>
		<VP fstruc FINITE> = -

; verb phrase rules
Rule VP -> V
		<VP fstruc> = <V fstruc>
		<V subcat> = iv

Rule VP -> V  NP
		<VP fstruc> = <V fstruc>
		<VP fstruc obj> = <NP fstruc>
		<NP fstruc case> = ACC
        <V  subcat> = tv

Rule VP -> V  AP
		<VP fstruc> = <V fstruc>
        <VP fstruc xcomp> = <AP fstruc>
        <V subcat> = ap

Rule VP -> V INFP
		<VP fstruc> = <V fstruc>
		<VP fstruc xcomp> = <INFP fstruc>
		<V subcat> = inf

Rule VP -> V NP INFP
		<VP fstruc> = <V fstruc>
		<VP fstruc obj> = <NP fstruc>
		<VP fstruc xcomp> = <INFP fstruc>
		<NP fstruc case> = ACC
        <V subcat> = tv-inf

; for sentences like: we saw the numbat chase the children
Rule VP -> V NP VP_1
		<VP fstruc> = <V fstruc>
		<VP fstruc obj> = <NP fstruc>
		<VP fstruc xcomp> = <VP_1 fstruc>
		<NP fstruc case> = ACC
        <V subcat> = tv-base
   		<VP_1 fstruc FINITE> = -

;;~~~~~~~~~~~~~~~~~~~~~~~~~~~
;; 		Parameter settings
;;~~~~~~~~~~~~~~~~~~~~~~~~~~~

; this is the default anyway!
Parameter Start symbol is S
Parameter Attribute order is spec subj pred obj xcomp FINITE Vform Vtense agr