Context                Previous, Next                Top


22_a_goodwill
I rode a bike to Goodwill in the rain and snow.

%3 r_0022_0002__rode rode r_0022_0001__I I r_0022_0002__rode->r_0022_0001__I [arg0] r_0022_0003__a_r_0022_0004__bike a bike r_0022_0002__rode->r_0022_0003__a_r_0022_0004__bike [arg1] r_0022_0006__Goodwill Goodwill r_0022_0002__rode->r_0022_0006__Goodwill to [nim] r_0022_0010__and and r_0022_0002__rode->r_0022_0010__and in [nim] r_0022_0009__rain rain r_0022_0010__and->r_0022_0009__rain [conj1] r_0022_0011__snow snow r_0022_0010__and->r_0022_0011__snow [conj2] 
arc(r_0022_0002__rode, r_0022_0001__I, arg0).
arc(r_0022_0002__rode, r_0022_0003__a_r_0022_0004__bike, arg1).
arc(r_0022_0002__rode, r_0022_0006__Goodwill, r_0022_0005__to_nim15).
arc(r_0022_0002__rode, r_0022_0010__and, r_0022_0007__in_nim21).
arc(r_0022_0010__and, r_0022_0009__rain, conj1).
arc(r_0022_0010__and, r_0022_0011__snow, conj2).


%3 r_0022_0010__and and r_0022_0011__snow snow r_0022_0010__and->r_0022_0011__snow [conj2] r_0022_0009__rain rain r_0022_0010__and->r_0022_0009__rain [conj1] r_0022_0002__rode rode r_0022_0002__rode->r_0022_0010__and in [nim] r_0022_0006__Goodwill Goodwill r_0022_0002__rode->r_0022_0006__Goodwill to [nim] r_0022_0003__a_r_0022_0004__bike a bike r_0022_0002__rode->r_0022_0003__a_r_0022_0004__bike [arg1] r_0022_0001__I I r_0022_0002__rode->r_0022_0001__I [arg0] 
fof(formula,axiom,
    ? [R_0022_0001__I,R_0022_0003__A_R_0022_0004__BIKE,R_0022_0006__GOODWILL,R_0022_0009__RAIN,R_0022_0011__SNOW,R_0022_0010__AND,R_0022_0002__RODE] :
      ( r_0022_0001__I(R_0022_0001__I)
      & r_0022_0003__a_r_0022_0004__bike(R_0022_0003__A_R_0022_0004__BIKE)
      & r_0022_0006__Goodwill(R_0022_0006__GOODWILL)
      & r_0022_0009__rain(R_0022_0009__RAIN)
      & r_0022_0011__snow(R_0022_0011__SNOW)
      & r_0022_0002__rode(R_0022_0002__RODE)
      & has_r_0022_0007__in_nim21(R_0022_0002__RODE,R_0022_0010__AND)
      & r_0022_0010__and(R_0022_0010__AND)
      & has_conj2(R_0022_0010__AND,R_0022_0011__SNOW)
      & has_conj1(R_0022_0010__AND,R_0022_0009__RAIN)
      & has_r_0022_0005__to_nim15(R_0022_0002__RODE,R_0022_0006__GOODWILL)
      & has_arg1(R_0022_0002__RODE,R_0022_0003__A_R_0022_0004__BIKE)
      & has_arg0(R_0022_0002__RODE,R_0022_0001__I) ) ).


n22_a_goodwill n22_a_goodwill__1_1_1_1 I n22_a_goodwill__1_2_1 rode n22_a_goodwill__1_3_1_1 a n22_a_goodwill__1_3_2_1 bike n22_a_goodwill__1_4_1_1 to n22_a_goodwill__1_4_2_1_1 Goodwill n22_a_goodwill__1_5_1_1 in n22_a_goodwill__1_5_2_1_1 the n22_a_goodwill__1_5_2_2_1_1_1 rain n22_a_goodwill__1_5_2_2_2_1_1 and n22_a_goodwill__1_5_2_2_2_2_1_1 snow n22_a_goodwill__1_6_1 . n22_a_goodwill__1 IP-MAT n22_a_goodwill__1_1 NP-SBJ n22_a_goodwill__1->n22_a_goodwill__1_1 n22_a_goodwill__1_2 VBD;_Tn_ n22_a_goodwill__1->n22_a_goodwill__1_2 n22_a_goodwill__1_3 NP-OB1 n22_a_goodwill__1->n22_a_goodwill__1_3 n22_a_goodwill__1_4 PP-NIM n22_a_goodwill__1->n22_a_goodwill__1_4 n22_a_goodwill__1_5 PP-NIM n22_a_goodwill__1->n22_a_goodwill__1_5 n22_a_goodwill__1_6 PUNC n22_a_goodwill__1->n22_a_goodwill__1_6 n22_a_goodwill__1_1_1 PRO n22_a_goodwill__1_1->n22_a_goodwill__1_1_1 n22_a_goodwill__1_1_1->n22_a_goodwill__1_1_1_1 n22_a_goodwill__1_2->n22_a_goodwill__1_2_1 n22_a_goodwill__1_3_1 D n22_a_goodwill__1_3->n22_a_goodwill__1_3_1 n22_a_goodwill__1_3_2 N n22_a_goodwill__1_3->n22_a_goodwill__1_3_2 n22_a_goodwill__1_3_1->n22_a_goodwill__1_3_1_1 n22_a_goodwill__1_3_2->n22_a_goodwill__1_3_2_1 n22_a_goodwill__1_4_1 P-ROLE n22_a_goodwill__1_4->n22_a_goodwill__1_4_1 n22_a_goodwill__1_4_2 NP n22_a_goodwill__1_4->n22_a_goodwill__1_4_2 n22_a_goodwill__1_4_1->n22_a_goodwill__1_4_1_1 n22_a_goodwill__1_4_2_1 NPR n22_a_goodwill__1_4_2->n22_a_goodwill__1_4_2_1 n22_a_goodwill__1_4_2_1->n22_a_goodwill__1_4_2_1_1 n22_a_goodwill__1_5_1 P-ROLE n22_a_goodwill__1_5->n22_a_goodwill__1_5_1 n22_a_goodwill__1_5_2 NP n22_a_goodwill__1_5->n22_a_goodwill__1_5_2 n22_a_goodwill__1_5_1->n22_a_goodwill__1_5_1_1 n22_a_goodwill__1_5_2_1 D n22_a_goodwill__1_5_2->n22_a_goodwill__1_5_2_1 n22_a_goodwill__1_5_2_2 NLYR n22_a_goodwill__1_5_2->n22_a_goodwill__1_5_2_2 n22_a_goodwill__1_5_2_1->n22_a_goodwill__1_5_2_1_1 n22_a_goodwill__1_5_2_2_1 NLYR n22_a_goodwill__1_5_2_2->n22_a_goodwill__1_5_2_2_1 n22_a_goodwill__1_5_2_2_2 CONJP n22_a_goodwill__1_5_2_2->n22_a_goodwill__1_5_2_2_2 n22_a_goodwill__1_5_2_2_1_1 N n22_a_goodwill__1_5_2_2_1->n22_a_goodwill__1_5_2_2_1_1 n22_a_goodwill__1_5_2_2_1_1->n22_a_goodwill__1_5_2_2_1_1_1 n22_a_goodwill__1_5_2_2_2_1 CONJ n22_a_goodwill__1_5_2_2_2->n22_a_goodwill__1_5_2_2_2_1 n22_a_goodwill__1_5_2_2_2_2 NLYR n22_a_goodwill__1_5_2_2_2->n22_a_goodwill__1_5_2_2_2_2 n22_a_goodwill__1_5_2_2_2_1->n22_a_goodwill__1_5_2_2_2_1_1 n22_a_goodwill__1_5_2_2_2_2_1 N n22_a_goodwill__1_5_2_2_2_2->n22_a_goodwill__1_5_2_2_2_2_1 n22_a_goodwill__1_5_2_2_2_2_1->n22_a_goodwill__1_5_2_2_2_2_1_1 n22_a_goodwill__1_6->n22_a_goodwill__1_6_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_Tn_ rode;{ride})
          (NP-OB1 (D a;{a})
                  (N bike;{bike}))
          (PP-NIM (P-ROLE to;{to})
                  (NP;{GOODWILL} (NPR Goodwill;{Goodwill})))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (NLYR (NLYR (N rain;{rain}))
                            (CONJP (CONJ and;{and})
                                   (NLYR (N snow;{snow}))))))
          (PUNC .))
  (ID 22_a_goodwill))