Context                Previous, Next                Top


18_a_potter_1902
He lost one of his shoes among the cabbages, and the other shoe amongst the potatoes.

%3 r_0018_0002__lost lost r_0018_0001__He He r_0018_0002__lost->r_0018_0001__He [arg0] r_0018_0003__one one r_0018_0002__lost->r_0018_0003__one [arg1] r_0018_0008__the_r_0018_0009__cabbages the cabbages r_0018_0002__lost->r_0018_0008__the_r_0018_0009__cabbages among [nim] r_0018_0006__shoes shoes r_0018_0003__one->r_0018_0006__shoes of r_0018_0006__shoes->r_0018_0001__He [gen] r_0018_0011__and and r_0018_0011__and->r_0018_0002__lost [conj1] z_000_18_a_potter_1902_34 r_0018_0011__and->z_000_18_a_potter_1902_34 [conj2] z_000_18_a_potter_1902_34->r_0018_0001__He [arg0] r_0018_0012__the_r_0018_0014__shoe the shoe z_000_18_a_potter_1902_34->r_0018_0012__the_r_0018_0014__shoe [arg1] r_0018_0016__the_r_0018_0017__potatoes the potatoes z_000_18_a_potter_1902_34->r_0018_0016__the_r_0018_0017__potatoes amongst [nim] r_0018_0013__other other r_0018_0012__the_r_0018_0014__shoe->r_0018_0013__other [attrib] 
arc(r_0018_0002__lost, r_0018_0001__He, arg0).
arc(r_0018_0002__lost, r_0018_0003__one, arg1).
arc(r_0018_0002__lost, r_0018_0008__the_r_0018_0009__cabbages, r_0018_0007__among_nim24).
arc(r_0018_0003__one, r_0018_0006__shoes, r_0018_0004__of).
arc(r_0018_0006__shoes, r_0018_0001__He, gen).
arc(r_0018_0011__and, r_0018_0002__lost, conj1).
arc(r_0018_0011__and, z_000_18_a_potter_1902_34, conj2).
arc(r_0018_0012__the_r_0018_0014__shoe, r_0018_0013__other, attrib38).
arc(z_000_18_a_potter_1902_34, r_0018_0001__He, arg0).
arc(z_000_18_a_potter_1902_34, r_0018_0012__the_r_0018_0014__shoe, arg1).
arc(z_000_18_a_potter_1902_34, r_0018_0016__the_r_0018_0017__potatoes, r_0018_0015__amongst_nim46).


%3 r_0018_0002__lost lost r_0018_0001__He He r_0018_0002__lost->r_0018_0001__He [arg0] r_0018_0003__one one r_0018_0002__lost->r_0018_0003__one [arg1] r_0018_0008__the_r_0018_0009__cabbages the cabbages r_0018_0002__lost->r_0018_0008__the_r_0018_0009__cabbages among [nim] r_0018_0006__shoes shoes r_0018_0003__one->r_0018_0006__shoes of r_0018_0006__shoes->r_0018_0001__He [gen] r_0018_0011__and and r_0018_0011__and->r_0018_0002__lost [conj1] z_000_18_a_potter_1902_34 r_0018_0011__and->z_000_18_a_potter_1902_34 [conj2] z_000_18_a_potter_1902_34->r_0018_0001__He [arg0] r_0018_0012__the_r_0018_0014__shoe the shoe z_000_18_a_potter_1902_34->r_0018_0012__the_r_0018_0014__shoe [arg1] r_0018_0016__the_r_0018_0017__potatoes the potatoes z_000_18_a_potter_1902_34->r_0018_0016__the_r_0018_0017__potatoes amongst [nim] r_0018_0013__other other r_0018_0012__the_r_0018_0014__shoe->r_0018_0013__other [attrib] 
fof(formula,axiom,
    ? [R_18_11_AND,R_18_2_LOST,R_18_3_ONE,R_18_6_SHOES,R_18_8_THE_CABBAGES,Z_18_A_POTTER_1902_34,R_18_1_HE,R_18_12_THE_SHOE,R_18_13_OTHER,R_18_16_THE_POTATOES] :
      ( the_cabbages(R_18_8_THE_CABBAGES)
      & he(R_18_1_HE)
      & other(R_18_13_OTHER)
      & the_potatoes(R_18_16_THE_POTATOES)
      & and(R_18_11_AND)
      & conj1(R_18_11_AND,R_18_2_LOST)
      & lost(R_18_2_LOST,R_18_1_HE,R_18_3_ONE)
      & one(R_18_3_ONE)
      & of(R_18_3_ONE,R_18_6_SHOES)
      & shoes(R_18_6_SHOES)
      & gen(R_18_6_SHOES,R_18_1_HE)
      & among_nim24(R_18_2_LOST,R_18_8_THE_CABBAGES)
      & conj2(R_18_11_AND,Z_18_A_POTTER_1902_34)
      & z_18_a_potter_1902_34(Z_18_A_POTTER_1902_34,R_18_1_HE,R_18_12_THE_SHOE)
      & the_shoe(R_18_12_THE_SHOE)
      & attrib38(R_18_12_THE_SHOE,R_18_13_OTHER)
      & amongst_nim46(Z_18_A_POTTER_1902_34,R_18_16_THE_POTATOES) ) ).


n18_a_potter_1902 n18_a_potter_1902_4 He n18_a_potter_1902_8 lost n18_a_potter_1902_11 one n18_a_potter_1902_14 of n18_a_potter_1902_18 his n18_a_potter_1902_20 shoes n18_a_potter_1902_23 among n18_a_potter_1902_26 the n18_a_potter_1902_28 cabbages n18_a_potter_1902_30 , n18_a_potter_1902_33 and n18_a_potter_1902_37 the n18_a_potter_1902_40 other n18_a_potter_1902_42 shoe n18_a_potter_1902_45 amongst n18_a_potter_1902_48 the n18_a_potter_1902_50 potatoes n18_a_potter_1902_52 . n18_a_potter_1902_1 IP-MAT n18_a_potter_1902_2 NP-SBJ n18_a_potter_1902_1->n18_a_potter_1902_2 n18_a_potter_1902_5 ILYR n18_a_potter_1902_1->n18_a_potter_1902_5 n18_a_potter_1902_51 PUNC n18_a_potter_1902_1->n18_a_potter_1902_51 n18_a_potter_1902_3 PRO n18_a_potter_1902_2->n18_a_potter_1902_3 n18_a_potter_1902_3->n18_a_potter_1902_4 n18_a_potter_1902_6 ILYR n18_a_potter_1902_5->n18_a_potter_1902_6 n18_a_potter_1902_29 PUNC n18_a_potter_1902_5->n18_a_potter_1902_29 n18_a_potter_1902_31 CONJP n18_a_potter_1902_5->n18_a_potter_1902_31 n18_a_potter_1902_7 VBD;_Tn_ n18_a_potter_1902_6->n18_a_potter_1902_7 n18_a_potter_1902_9 NP-OB1 n18_a_potter_1902_6->n18_a_potter_1902_9 n18_a_potter_1902_21 PP-NIM n18_a_potter_1902_6->n18_a_potter_1902_21 n18_a_potter_1902_7->n18_a_potter_1902_8 n18_a_potter_1902_10 D;_nphd_ n18_a_potter_1902_9->n18_a_potter_1902_10 n18_a_potter_1902_12 PP n18_a_potter_1902_9->n18_a_potter_1902_12 n18_a_potter_1902_10->n18_a_potter_1902_11 n18_a_potter_1902_13 P-ROLE n18_a_potter_1902_12->n18_a_potter_1902_13 n18_a_potter_1902_15 NP n18_a_potter_1902_12->n18_a_potter_1902_15 n18_a_potter_1902_13->n18_a_potter_1902_14 n18_a_potter_1902_16 NP-GEN n18_a_potter_1902_15->n18_a_potter_1902_16 n18_a_potter_1902_19 NS n18_a_potter_1902_15->n18_a_potter_1902_19 n18_a_potter_1902_17 PRO;_genm_ n18_a_potter_1902_16->n18_a_potter_1902_17 n18_a_potter_1902_17->n18_a_potter_1902_18 n18_a_potter_1902_19->n18_a_potter_1902_20 n18_a_potter_1902_22 P-ROLE n18_a_potter_1902_21->n18_a_potter_1902_22 n18_a_potter_1902_24 NP n18_a_potter_1902_21->n18_a_potter_1902_24 n18_a_potter_1902_22->n18_a_potter_1902_23 n18_a_potter_1902_25 D n18_a_potter_1902_24->n18_a_potter_1902_25 n18_a_potter_1902_27 NS n18_a_potter_1902_24->n18_a_potter_1902_27 n18_a_potter_1902_25->n18_a_potter_1902_26 n18_a_potter_1902_27->n18_a_potter_1902_28 n18_a_potter_1902_29->n18_a_potter_1902_30 n18_a_potter_1902_32 CONJ n18_a_potter_1902_31->n18_a_potter_1902_32 n18_a_potter_1902_34 ILYR n18_a_potter_1902_31->n18_a_potter_1902_34 n18_a_potter_1902_32->n18_a_potter_1902_33 n18_a_potter_1902_35 NP-OB1 n18_a_potter_1902_34->n18_a_potter_1902_35 n18_a_potter_1902_43 PP-NIM n18_a_potter_1902_34->n18_a_potter_1902_43 n18_a_potter_1902_36 D n18_a_potter_1902_35->n18_a_potter_1902_36 n18_a_potter_1902_38 ADJP n18_a_potter_1902_35->n18_a_potter_1902_38 n18_a_potter_1902_41 N n18_a_potter_1902_35->n18_a_potter_1902_41 n18_a_potter_1902_36->n18_a_potter_1902_37 n18_a_potter_1902_39 ADJ n18_a_potter_1902_38->n18_a_potter_1902_39 n18_a_potter_1902_39->n18_a_potter_1902_40 n18_a_potter_1902_41->n18_a_potter_1902_42 n18_a_potter_1902_44 P-ROLE n18_a_potter_1902_43->n18_a_potter_1902_44 n18_a_potter_1902_46 NP n18_a_potter_1902_43->n18_a_potter_1902_46 n18_a_potter_1902_44->n18_a_potter_1902_45 n18_a_potter_1902_47 D n18_a_potter_1902_46->n18_a_potter_1902_47 n18_a_potter_1902_49 NS n18_a_potter_1902_46->n18_a_potter_1902_49 n18_a_potter_1902_47->n18_a_potter_1902_48 n18_a_potter_1902_49->n18_a_potter_1902_50 n18_a_potter_1902_51->n18_a_potter_1902_52 
( (IP-MAT (NP-SBJ;{PETER} (PRO He;{he}))
          (ILYR (ILYR (VBD;_Tn_ lost;{lose})
                      (NP-OB1 (D;_nphd_ one;{one})
                              (PP (P-ROLE of;{of})
                                  (NP;{SHOES} (NP-GEN;{PETER} (PRO;_genm_ his;{his}))
                                              (NS shoes;{shoe}))))
                      (PP-NIM (P-ROLE among;{among})
                              (NP (D the;{the})
                                  (NS cabbages;{cabbage}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-OB1 (D the;{the})
                                     (ADJP (ADJ other;{other}))
                                     (N shoe;{shoe}))
                             (PP-NIM (P-ROLE amongst;{amongst})
                                     (NP (D the;{the})
                                         (NS potatoes;{potato}))))))
          (PUNC .))
  (ID 18_a_potter_1902))