Context                Previous, Next                Top


7_a_goodwill
Now I can buy a soda and spend money.

%3 r_0007_0003__can can r_0007_0001__Now Now r_0007_0003__can->r_0007_0001__Now [nim] r_0007_0007__and and r_0007_0003__can->r_0007_0007__and [scope] r_0007_0004__buy buy r_0007_0007__and->r_0007_0004__buy [conj1] r_0007_0008__spend spend r_0007_0007__and->r_0007_0008__spend [conj2] r_0007_0002__I I r_0007_0004__buy->r_0007_0002__I [arg0] r_0007_0005__a_r_0007_0006__soda a soda r_0007_0004__buy->r_0007_0005__a_r_0007_0006__soda [arg1] r_0007_0008__spend->r_0007_0002__I [arg0] r_0007_0009__money money r_0007_0008__spend->r_0007_0009__money [arg1] 
arc(r_0007_0003__can, r_0007_0001__Now, nim2).
arc(r_0007_0003__can, r_0007_0007__and, scope).
arc(r_0007_0004__buy, r_0007_0002__I, arg0).
arc(r_0007_0004__buy, r_0007_0005__a_r_0007_0006__soda, arg1).
arc(r_0007_0007__and, r_0007_0004__buy, conj1).
arc(r_0007_0007__and, r_0007_0008__spend, conj2).
arc(r_0007_0008__spend, r_0007_0002__I, arg0).
arc(r_0007_0008__spend, r_0007_0009__money, arg1).


%3 r_0007_0003__can can r_0007_0007__and and r_0007_0003__can->r_0007_0007__and [keep_scope] r_0007_0001__Now Now r_0007_0003__can->r_0007_0001__Now [nim] r_0007_0008__spend spend r_0007_0007__and->r_0007_0008__spend [conj2] r_0007_0004__buy buy r_0007_0007__and->r_0007_0004__buy [conj1] r_0007_0009__money money r_0007_0008__spend->r_0007_0009__money [arg1] r_0007_0002__I I r_0007_0008__spend->r_0007_0002__I [arg0] r_0007_0004__buy->r_0007_0002__I [arg0] r_0007_0005__a_r_0007_0006__soda a soda r_0007_0004__buy->r_0007_0005__a_r_0007_0006__soda [arg1] 
fof(formula,axiom,
    ? [R_7_1_NOW] :
      ( now(R_7_1_NOW)
      & ? [R_7_7_AND,R_7_4_BUY,R_7_5_A_SODA,R_7_8_SPEND,R_7_2_I,R_7_9_MONEY] :
          ( a_soda(R_7_5_A_SODA)
          & i(R_7_2_I)
          & money(R_7_9_MONEY)
          & and(R_7_7_AND)
          & conj1(R_7_7_AND,R_7_4_BUY)
          & buy(R_7_4_BUY,R_7_2_I,R_7_5_A_SODA)
          & conj2(R_7_7_AND,R_7_8_SPEND)
          & spend(R_7_8_SPEND,R_7_2_I,R_7_9_MONEY) ) ) ).


n7_a_goodwill n7_a_goodwill__1_1_1_1 Now n7_a_goodwill__1_2_1_1 I n7_a_goodwill__1_3_1 can n7_a_goodwill__1_4_1_1_1_1 buy n7_a_goodwill__1_4_1_1_2_1_1 a n7_a_goodwill__1_4_1_1_2_2_1 soda n7_a_goodwill__1_4_1_2_1_1 and n7_a_goodwill__1_4_1_2_2_1_1 spend n7_a_goodwill__1_4_1_2_2_2_1_1 money n7_a_goodwill__1_5_1 . n7_a_goodwill__1 IP-MAT n7_a_goodwill__1_1 ADVP-NIM n7_a_goodwill__1->n7_a_goodwill__1_1 n7_a_goodwill__1_2 NP-SBJ n7_a_goodwill__1->n7_a_goodwill__1_2 n7_a_goodwill__1_3 MD;_cat_Vi_ n7_a_goodwill__1->n7_a_goodwill__1_3 n7_a_goodwill__1_4 IP-INF-CAT n7_a_goodwill__1->n7_a_goodwill__1_4 n7_a_goodwill__1_5 PUNC n7_a_goodwill__1->n7_a_goodwill__1_5 n7_a_goodwill__1_1_1 ADV n7_a_goodwill__1_1->n7_a_goodwill__1_1_1 n7_a_goodwill__1_1_1->n7_a_goodwill__1_1_1_1 n7_a_goodwill__1_2_1 PRO n7_a_goodwill__1_2->n7_a_goodwill__1_2_1 n7_a_goodwill__1_2_1->n7_a_goodwill__1_2_1_1 n7_a_goodwill__1_3->n7_a_goodwill__1_3_1 n7_a_goodwill__1_4_1 ILYR n7_a_goodwill__1_4->n7_a_goodwill__1_4_1 n7_a_goodwill__1_4_1_1 ILYR n7_a_goodwill__1_4_1->n7_a_goodwill__1_4_1_1 n7_a_goodwill__1_4_1_2 CONJP n7_a_goodwill__1_4_1->n7_a_goodwill__1_4_1_2 n7_a_goodwill__1_4_1_1_1 VB;_Tn_ n7_a_goodwill__1_4_1_1->n7_a_goodwill__1_4_1_1_1 n7_a_goodwill__1_4_1_1_2 NP-OB1 n7_a_goodwill__1_4_1_1->n7_a_goodwill__1_4_1_1_2 n7_a_goodwill__1_4_1_1_1->n7_a_goodwill__1_4_1_1_1_1 n7_a_goodwill__1_4_1_1_2_1 D n7_a_goodwill__1_4_1_1_2->n7_a_goodwill__1_4_1_1_2_1 n7_a_goodwill__1_4_1_1_2_2 N n7_a_goodwill__1_4_1_1_2->n7_a_goodwill__1_4_1_1_2_2 n7_a_goodwill__1_4_1_1_2_1->n7_a_goodwill__1_4_1_1_2_1_1 n7_a_goodwill__1_4_1_1_2_2->n7_a_goodwill__1_4_1_1_2_2_1 n7_a_goodwill__1_4_1_2_1 CONJ n7_a_goodwill__1_4_1_2->n7_a_goodwill__1_4_1_2_1 n7_a_goodwill__1_4_1_2_2 ILYR n7_a_goodwill__1_4_1_2->n7_a_goodwill__1_4_1_2_2 n7_a_goodwill__1_4_1_2_1->n7_a_goodwill__1_4_1_2_1_1 n7_a_goodwill__1_4_1_2_2_1 VB;_Tn_ n7_a_goodwill__1_4_1_2_2->n7_a_goodwill__1_4_1_2_2_1 n7_a_goodwill__1_4_1_2_2_2 NP-OB1 n7_a_goodwill__1_4_1_2_2->n7_a_goodwill__1_4_1_2_2_2 n7_a_goodwill__1_4_1_2_2_1->n7_a_goodwill__1_4_1_2_2_1_1 n7_a_goodwill__1_4_1_2_2_2_1 N n7_a_goodwill__1_4_1_2_2_2->n7_a_goodwill__1_4_1_2_2_2_1 n7_a_goodwill__1_4_1_2_2_2_1->n7_a_goodwill__1_4_1_2_2_2_1_1 n7_a_goodwill__1_5->n7_a_goodwill__1_5_1 
( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ buy;{buy})
                                  (NP-OB1 (D a;{a})
                                          (N soda;{soda})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Tn_ spend;{spend})
                                         (NP-OB1 (N money;{money}))))))
          (PUNC .))
  (ID 7_a_goodwill))