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_22_7_WEEK] :
( week(R_22_7_WEEK)
=> ? [R_22_5_OUT,R_22_3_ONE_NIGHT,R_22_2_MY] :
( my(R_22_2_MY)
& out(R_22_5_OUT,R_22_3_ONE_NIGHT)
& one_night(R_22_3_ONE_NIGHT)
& gen(R_22_3_ONE_NIGHT,R_22_2_MY)
& nim14(R_22_5_OUT,R_22_7_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))