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_000_6_a_goodwill_36, scope).
arc(r_0006_0008__n_apos_t, r_0006_0007__could, keep_scope).
arc(r_0006_0009__go, r_0006_0002__I, arg0).
arc(r_0006_0009__go, r_0006_0011__the_r_0006_0012__snack_r_0006_0013__bar, r_0006_0010__to_clr29).
arc(r_0006_0014__to_r_0006_0015__buy, r_0006_0002__I, arg0).
arc(r_0006_0014__to_r_0006_0015__buy, r_0006_0016__a_r_0006_0017__soda, arg1).
arc(z_000_6_a_goodwill_36, r_0006_0009__go, scope).
arc(z_000_6_a_goodwill_36, r_0006_0014__to_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_0016__A_R_0006_0017__SODA,R_0006_0014__TO_R_0006_0015__BUY,Z_000_6_A_GOODWILL_36,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_000_6_A_GOODWILL_36)
            & z_000_6_a_goodwill_36(Z_000_6_A_GOODWILL_36)
            & has_conj1(Z_000_6_A_GOODWILL_36,R_0006_0014__TO_R_0006_0015__BUY)
            & r_0006_0014__to_r_0006_0015__buy(R_0006_0014__TO_R_0006_0015__BUY)
            & has_arg1(R_0006_0014__TO_R_0006_0015__BUY,R_0006_0016__A_R_0006_0017__SODA)
            & has_arg0(R_0006_0014__TO_R_0006_0015__BUY,R_0006_0002__I)
            & has_conj2(Z_000_6_A_GOODWILL_36,R_0006_0009__GO)
            & r_0006_0009__go(R_0006_0009__GO)
            & has_r_0006_0010__to_clr29(R_0006_0009__GO,R_0006_0011__THE_R_0006_0012__SNACK_R_0006_0013__BAR)
            & has_arg0(R_0006_0009__GO,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) ) ) ).

( (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))