19_a_goodwill
“I'd never finished high school.
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ (PRO I;{I}))
(HVD;_cat_Ve_ <apos>d;{have})
(IP-PPL-CAT (ADVP-NIM (ADV never;{never}))
(VVN;_Tn_ finished;{finish})
(NP-OB1 (ADJP (ADJ high;{high}))
(N school;{school})))
(PUNC .))
(ID 19_a_goodwill))
arc(r_0019_0003___apos_d,r_0019_0005__finished,scope).
arc(r_0019_0005__finished,r_0019_0002__I,arg0).
arc(r_0019_0005__finished,r_0019_0004__never,nim).
arc(r_0019_0005__finished,r_0019_0007__school,arg1).
arc(r_0019_0007__school,r_0019_0006__high,attrib).
fof(formula,axiom,
? [R_0019_0002__I,R_0019_0004__NEVER,R_0019_0006__HIGH,R_0019_0007__SCHOOL,R_0019_0003___APOS_D_R_0019_0005__FINISHED] :
( r_0019_0002__I(R_0019_0002__I)
& r_0019_0004__never(R_0019_0004__NEVER)
& r_0019_0006__high(R_0019_0006__HIGH)
& r_0019_0003___apos_d_r_0019_0005__finished(R_0019_0003___APOS_D_R_0019_0005__FINISHED)
& has_arg1(R_0019_0003___APOS_D_R_0019_0005__FINISHED,R_0019_0007__SCHOOL)
& r_0019_0007__school(R_0019_0007__SCHOOL)
& has_attrib(R_0019_0007__SCHOOL,R_0019_0006__HIGH)
& has_nim(R_0019_0003___APOS_D_R_0019_0005__FINISHED,R_0019_0004__NEVER)
& has_arg0(R_0019_0003___APOS_D_R_0019_0005__FINISHED,R_0019_0002__I) ) ).