19_a_goodwill
“I'd never finished high school.
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, nim10).
arc(r_0019_0005__finished, r_0019_0007__school, arg1).
arc(r_0019_0007__school, r_0019_0006__high, attrib16).
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_attrib16(R_0019_0007__SCHOOL,R_0019_0006__HIGH)
& has_nim10(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) ) ).
( (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))