6_a_goodwill
“I was sad when I couldn't go to the snack bar to buy a soda.
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ (PRO I;{I}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ sad;{sad}))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ (PRO I;{I}))
(MD;_cat_Vi_ could;{can})
(NEG;_clitic_ n<apos>t;{not})
(IP-INF-CAT (VB;_Ipr_ go;{go[to]})
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(N snack;{snack})
(N bar;{bar})))
(PP-SCON (IP-INF2 (TO to;{to})
(VB;_Tn_ buy;{buy})
(NP-OB1 (D a;{a})
(N soda;{soda})))))))
(PUNC .))
(ID 6_a_goodwill))
arc(r_0006_0003__was,r_0006_0002__I,arg0).
arc(r_0006_0003__was,r_0006_0004__sad,prd).
arc(r_0006_0005__when,r_0006_0003__was,scope).
arc(r_0006_0005__when,r_0006_0008__n_apos_t,restriction).
arc(r_0006_0007__could,z_0006_5005,scope).
arc(r_0006_0008__n_apos_t,r_0006_0007__could,keep_scope).
arc(r_0006_0009__go_r_0006_0010__to,r_0006_0002__I,arg0).
arc(r_0006_0009__go_r_0006_0010__to,r_0006_0011__the_r_0006_0012__snack_r_0006_0013__bar,arg1).
arc(r_0006_0015__buy,r_0006_0002__I,arg0).
arc(r_0006_0015__buy,r_0006_0016__a_r_0006_0017__soda,arg1).
arc(z_0006_5005,r_0006_0009__go_r_0006_0010__to,scope).
arc(z_0006_5005,r_0006_0015__buy,restriction).
fof(formula,axiom,
! [R_0006_0008__N_APOS_T] :
( ~ ? [R_0006_0002__I,R_0006_0011__THE_R_0006_0012__SNACK_R_0006_0013__BAR,R_0006_0009__GO_R_0006_0010__TO,R_0006_0016__A_R_0006_0017__SODA,R_0006_0015__BUY,Z_0006_5005,R_0006_0007__COULD] :
( r_0006_0002__I(R_0006_0002__I)
& r_0006_0011__the_r_0006_0012__snack_r_0006_0013__bar(R_0006_0011__THE_R_0006_0012__SNACK_R_0006_0013__BAR)
& r_0006_0016__a_r_0006_0017__soda(R_0006_0016__A_R_0006_0017__SODA)
& r_0006_0007__could(R_0006_0007__COULD)
& has_keep_scope(R_0006_0007__COULD,Z_0006_5005)
& z_0006_5005(Z_0006_5005)
& has_conj1(Z_0006_5005,R_0006_0015__BUY)
& r_0006_0015__buy(R_0006_0015__BUY)
& has_arg1(R_0006_0015__BUY,R_0006_0016__A_R_0006_0017__SODA)
& has_arg0(R_0006_0015__BUY,R_0006_0002__I)
& has_conj2(Z_0006_5005,R_0006_0009__GO_R_0006_0010__TO)
& r_0006_0009__go_r_0006_0010__to(R_0006_0009__GO_R_0006_0010__TO)
& has_arg1(R_0006_0009__GO_R_0006_0010__TO,R_0006_0011__THE_R_0006_0012__SNACK_R_0006_0013__BAR)
& has_arg0(R_0006_0009__GO_R_0006_0010__TO,R_0006_0002__I) )
=> ? [R_0006_0002__I,R_0006_0004__SAD,R_0006_0003__WAS] :
( r_0006_0002__I(R_0006_0002__I)
& r_0006_0004__sad(R_0006_0004__SAD)
& r_0006_0003__was(R_0006_0003__WAS)
& has_prd(R_0006_0003__WAS,R_0006_0004__SAD)
& has_arg0(R_0006_0003__WAS,R_0006_0002__I) ) ) ).