33_a_ted_talk_11
I mean, Sirena last night was a marvel, wasn't she?
( (IP-MAT (FRM I_mean)
(PUNC ,)
(NP-SBJ;{SIRENA} (NPR Sirena;{Sirena}))
(NP-NIM (ADJP (ADJ last;{last}))
(N night;{night}))
(BED;_Ln_ was;{be})
(NP-PRD (D a;{a})
(N marvel;{marvel}))
(PUNC ,)
(CP-QUE-TAG (IP-SUB (BED;_Ln_ was;{be})
(NEG;_clitic_ n<apos>t;{not})
(NP-SBJ;{SIRENA} (PRO she;{she}))))
(PUNC ?))
(ID 33_a_ted_talk_11))
arc(r_0033_0005__night,r_0033_0004__last,attrib).
arc(r_0033_0006__was,r_0033_0003__Sirena,arg0).
arc(r_0033_0006__was,r_0033_0005__night,nim).
arc(r_0033_0006__was,r_0033_0007__a_r_0033_0008__marvel,prd).
arc(r_0033_0006__was,r_0033_0011__n_apos_t,tag).
arc(r_0033_0010__was,r_0033_0003__Sirena,arg0).
arc(r_0033_0011__n_apos_t,r_0033_0010__was,keep_scope).
fof(formula,axiom,
? [R_0033_0003__SIRENA,R_0033_0004__LAST,R_0033_0005__NIGHT,R_0033_0007__A_R_0033_0008__MARVEL,R_0033_0006__WAS] :
( r_0033_0003__Sirena(R_0033_0003__SIRENA)
& r_0033_0004__last(R_0033_0004__LAST)
& r_0033_0007__a_r_0033_0008__marvel(R_0033_0007__A_R_0033_0008__MARVEL)
& r_0033_0006__was(R_0033_0006__WAS)
& has_tag(R_0033_0006__WAS,R_0033_0011__N_APOS_T)
& ~ ? [R_0033_0010__WAS] :
( r_0033_0010__was(R_0033_0010__WAS)
& has_arg0(R_0033_0010__WAS,R_0033_0003__SIRENA) )
& has_prd(R_0033_0006__WAS,R_0033_0007__A_R_0033_0008__MARVEL)
& has_nim(R_0033_0006__WAS,R_0033_0005__NIGHT)
& r_0033_0005__night(R_0033_0005__NIGHT)
& has_attrib(R_0033_0005__NIGHT,R_0033_0004__LAST)
& has_arg0(R_0033_0006__WAS,R_0033_0003__SIRENA) ) ).