62
30) sv(Num, [v_bar, V_Barra, sadv, AdvP ]) --> v_barra(Num, i,
V_Barra), sadv(AdvP).
31) sv(Num, [v_bar, V_Barra, sp, PP]) --> v_barra(Num, i,
V_Barra), sp(_, PP).
32) sv(Num, [v_bar, V_Barra]) --> v_barra(Num, _, V_Barra).
33) svimp(Num, [v_bar, V_Barra_i]) --> v_barra_i(Num, _,
V_Barra_i).
34) sv(Num, [sadv, AdvP, v_bar, V_Barra]) --> sadv(AdvP),
v_barra(Num, _, V_Barra).
35) svimp(Num, [sadv, AdvP, v_bar, V_Barra_i]) --> sadv(AdvP),
v_barra_i(Num, _, V_Barra_i).
36) sv(Num, [v_bar, V_Barra, sadv, AdvP ]) --> v_barra(Num, _,
V_Barra), sadv(AdvP).
37) svimp(Num, [v_bar, V_Barra_i, sadv, AdvP]) -->
v_barra_i(Num, _, V_Barra_i), sadv(AdvP).
38) sv(Num, [v_bar, V_Barra, sn, NP]) --> v_barra(Num, _,
V_Barra), sn(_, NP).
39) sv(Num, [v_bar, V_Barra, sp, PP]) --> v_barra(Num, _,
V_Barra), sp(_, PP).
40) svimp(Num, [v_bar, V_Barra_i, sp, PP]) --
V_Barra_i), sp(_, PP).
41) v_barra(Num, _, [sadv, AdvP, v_bar, V_Barra]) -->
sadv(AdvP), v_barra(Num, _, V_Barra).
42) v_barra_i(Num, _, [sadv, AdvP, v_bar, V_Barra_i]) -->
sadv(AdvP), v_barra_i(Num, _, V_Barra_i).
43) v_barra(Num, i, [v, [V]]) --> v(Num, i, V).
44) v_barra(Num, td, [v, [V], sn, NP]) --> v(Num, td, V), sn(_,
NP).
45) v_barra(Num, ti, [v, [V], sp, PP]) --> v(Num, ti(P), V),
sp(P, PP).
46) v_barra(Num, vl, [vl, [V], sn, NP]) --> v(Num, vl, V),
sn(Conc, NP).
47) v_barra(Num, vl, [vl, [V], sadj, AP]) --> v(Num, vl, V),
sadj(Conc, AP).
48) v_barra(Num, vl, [v, [V], sp, PP]) --> v(Num, vl, V), sp(_,
PP).
49) v_barra(Num, vl, [v, [V], sadv, AdvP]) --> v(Num, vl, V),
sadv(AdvP).
50) v_barra_i(_, i, [v, [Vimp]]) --> vimp(_, i, Vimp).
51) v_barra_i(_, td, [v, [Vimp], sn, NP]) --
sn(_, NP).