程序代写 bot sub [s, lexical, phrase].

bot sub [s, lexical, phrase].
phrase sub [np, vp].
lexical sub [n, v, det].

Copyright By PowCoder代写 加微信 powcoder

dog —> n.
cat —> n.
the —> det.
likes —> v.
record —> n.
record —> v.

det_n__np rule

v_np__vp rule

np_vp__s rule
cat> vp.bot sub [cat, sem].
cat sub [v, det, s, has_gender] intro [sem:sem,person:per_type].
has_gender sub [np, vp, n, pn] intro [gender:gen_type].
gen_type sub [m, f, neu].
per_type sub [first, second, third].
sem sub [waiter, dog].

np sub [nprp].
list sub [e_list,ne_list].
ne_list intro [hd:bot, tl:list].

she —> (pn, gender:f,person:third).
he —> (pn, gender:m,person:third).
i —> (pn, person:first).
is —> (v,person:third).
the —> (det).
waiter —> (n, gender:m, sem:waiter, person:third).
waitress —> (n, gender:f, sem:waiter, person:third).
dog —> (n, gender:neu, sem:dog, person:third).

det_n__np rule
(np, gender:Gender, person:Person, sem:Sem) ===>
cat> (gender:Gender, person:Person, sem:Sem1, n). % sem:(Sem, dog), n).

pn__np rule
(np, gender:Gender,person:Person) ===>
cat> (pn, gender:Gender,person:Person).

v_np__vp rule
(vp, person:Person) ===>
cat> (v, person:Person),
cat> (np).

np_vp__s rule
(s, person:Person) ===>
cat> (np, gender:Gender, person:Person),
cat> (vp, gender:Gender, person:Person).
bot sub [cat, sem, list, agr, voice].
cat sub [det, aux, has_sem].
has_sem sub [nominal, verbal] intro [sem:sem, gap:gap_struct].
nominal sub [n, np] intro [sem:n_sem].
verbal sub [s, v, vp] intro [sem:v_sem, agr:agr, subcat:list].

gap_struct sub [np, none].

agr intro [voice:voice].

sem sub [n_sem, v_sem].
v_sem sub [kick] intro [agent:np, theme:np].
n_sem sub [goalie, ball].

voice sub [active, passive].

list sub [e_list, ne_list].
ne_list intro [hd:cat, tl:list].

empty (np, sem:Sem, gap:(np, sem:Sem, gap:none)).

the —> det.
goalie —> (n, sem:goalie).
ball —> (n, sem:ball).

kicks —> (v, sem:(kick, agent:Agent, theme:Theme), agr:voice:active, subcat:[Theme, Agent]).
kicked —> (v, sem:(kick, agent:Agent, theme:Theme), subcat:[Theme, Agent]).

was —> aux.

(np, sem:Sem, gap:(none, None)) ===>
cat> (n, sem:Sem, gap:None).

(vp, sem:Sem, agr:Agr, subcat:Rest, gap:Gap) ===>
cat> (v, sem:Sem, agr:Agr, subcat:[NP|Rest], gap:Gap),
cat> (np, NP, gap:Gap).

(vp, sem:Sem, agr:Agr, subcat:SubCat, gap:Gap) ===>
cat> (vp, sem:Sem, agr:(Agr, voice:passive), subcat:SubCat, gap:Gap).

s_active rule
(s, sem:Sem, agr:Agr, subcat:(Rest, []), gap:None) ===>
cat> (np, NP),
cat> (vp, sem:Sem, agr:(voice:active, Agr), subcat:[NP|Rest], gap:(none, None)).

s_passive rule
(s, sem:Sem, agr:Agr, gap:Gap) ===>
cat> (np, Gap),
cat> (vp, sem:Sem, agr:(voice:passive, Agr), gap:Gap).

程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com