220_a_ted_talk_11
When she was at school, she was really hopeless.
arc(r_0220_0001__When, r_0220_0003__was, restriction).
arc(r_0220_0001__When, r_0220_0008__was, scope).
arc(r_0220_0003__was, r_0220_0002__she, arg0).
arc(r_0220_0003__was, r_0220_0005__school, r_0220_0004__at_clr14).
arc(r_0220_0008__was, r_0220_0007__she, arg0).
arc(r_0220_0008__was, r_0220_0010__hopeless, prd).
arc(r_0220_0010__hopeless, r_0220_0009__really, qual25).
fof(formula,axiom,
! [R_220_3_WAS,R_220_2_SHE,R_220_5_SCHOOL] :
( ( she(R_220_2_SHE)
& school(R_220_5_SCHOOL)
& was(R_220_3_WAS,R_220_2_SHE)
& at_clr14(R_220_3_WAS,R_220_5_SCHOOL) )
=> ? [R_220_8_WAS,R_220_7_SHE,R_220_10_HOPELESS,R_220_9_REALLY] :
( she(R_220_7_SHE)
& really(R_220_9_REALLY)
& was(R_220_8_WAS,R_220_7_SHE,R_220_10_HOPELESS)
& hopeless(R_220_10_HOPELESS)
& qual25(R_220_10_HOPELESS,R_220_9_REALLY) ) ) ).
( (IP-MAT (PP-SCON (P-CONN When;{when})
(IP-ADV (NP-SBJ;{GILLIAN} (PRO she;{she}))
(BED;_Ipr_ was;{be[at]})
(PP-CLR (P-ROLE at;{at})
(NP (N school;{school})))))
(PUNC ,)
(NP-SBJ;{GILLIAN} (PRO she;{she}))
(BED;_La_ was;{be})
(ADJP-PRD (ADVP (ADV really;{really}))
(ADJ hopeless;{hopeless}))
(PUNC .))
(ID 220_a_ted_talk_11))