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