22_a_ted_talk_11
“My one night out all week.”
( (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))
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,nim).
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_nim(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) ) ) ).