22_a_ted_talk_11
“My one night out all week.”
arc(r_0022_0003__one_r_0022_0004__night, r_0022_0002__My, gen).
arc(r_0022_0005__out, r_0022_0003__one_r_0022_0004__night, arg0).
arc(r_0022_0005__out, r_0022_0007__week, nim14).
arc(r_0022_0006__all_quant, r_0022_0005__out, scope).
arc(r_0022_0006__all_quant, r_0022_0007__week, restriction).
fof(formula,axiom,
! [R_0022_0007__WEEK] :
( r_0022_0007__week(R_0022_0007__WEEK)
=> ? [R_0022_0002__MY,R_0022_0003__ONE_R_0022_0004__NIGHT,R_0022_0005__OUT] :
( r_0022_0002__My(R_0022_0002__MY)
& r_0022_0005__out(R_0022_0005__OUT)
& has_nim14(R_0022_0005__OUT,R_0022_0007__WEEK)
& has_arg0(R_0022_0005__OUT,R_0022_0003__ONE_R_0022_0004__NIGHT)
& r_0022_0003__one_r_0022_0004__night(R_0022_0003__ONE_R_0022_0004__NIGHT)
& has_gen(R_0022_0003__ONE_R_0022_0004__NIGHT,R_0022_0002__MY) ) ) ).
( (FRAG (PULQ <ldquo>)
(NP-SBJ (NP-GEN;{PERSON} (PRO;_genm_ My;{my}))
(NUM one;{one})
(N night;{night}))
(RP out;{out})
(NP-NIM (Q all;{all})
(N week;{week}))
(PUNC .)
(PURQ <rdquo>))
(ID 22_a_ted_talk_11))