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,
    ( ~ ~ ? [Z_6_A_GOODWILL_36,R_6_14_TO_BUY,R_6_16_A_SODA,R_6_9_GO,R_6_2_I,R_6_11_THE_SNACK_BAR] :
            ( a_soda(R_6_16_A_SODA)
            & i(R_6_2_I)
            & the_snack_bar(R_6_11_THE_SNACK_BAR)
            & z_6_a_goodwill_36(Z_6_A_GOODWILL_36)
            & conj1(Z_6_A_GOODWILL_36,R_6_14_TO_BUY)
            & to_buy(R_6_14_TO_BUY,R_6_2_I,R_6_16_A_SODA)
            & conj2(Z_6_A_GOODWILL_36,R_6_9_GO)
            & go(R_6_9_GO,R_6_2_I)
            & to_clr29(R_6_9_GO,R_6_11_THE_SNACK_BAR) )
   => ? [R_6_3_WAS,R_6_2_I,R_6_4_SAD] :
        ( i(R_6_2_I)
        & sad(R_6_4_SAD)
        & was(R_6_3_WAS,R_6_2_I,R_6_4_SAD) ) ) ).

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