Context                Previous, Next                Top


1_a_seashells
She sells sea - shells on the sea shore;

%3 r_0001_0002__sells sells r_0001_0001__She She r_0001_0002__sells->r_0001_0001__She [arg0] r_0001_0003__sea_r_0001_0005__shells sea shells r_0001_0002__sells->r_0001_0003__sea_r_0001_0005__shells [arg1] r_0001_0007__the_r_0001_0008__sea_shore the sea shore r_0001_0002__sells->r_0001_0007__the_r_0001_0008__sea_shore on [nim] 
arc(r_0001_0002__sells, r_0001_0001__She, arg0).
arc(r_0001_0002__sells, r_0001_0003__sea_r_0001_0005__shells, arg1).
arc(r_0001_0002__sells, r_0001_0007__the_r_0001_0008__sea_shore, r_0001_0006__on_nim17).


%3 r_0001_0002__sells sells r_0001_0007__the_r_0001_0008__sea_shore the sea shore r_0001_0002__sells->r_0001_0007__the_r_0001_0008__sea_shore on [nim] r_0001_0003__sea_r_0001_0005__shells sea shells r_0001_0002__sells->r_0001_0003__sea_r_0001_0005__shells [arg1] r_0001_0001__She She r_0001_0002__sells->r_0001_0001__She [arg0] 
fof(formula,axiom,
    ? [R_1_2_SELLS,R_1_1_SHE,R_1_3_SEA_SHELLS,R_1_7_THE_SEA_SHORE] :
      ( she(R_1_1_SHE)
      & sea_shells(R_1_3_SEA_SHELLS)
      & the_sea_shore(R_1_7_THE_SEA_SHORE)
      & sells(R_1_2_SELLS,R_1_1_SHE,R_1_3_SEA_SHELLS)
      & on_nim17(R_1_2_SELLS,R_1_7_THE_SEA_SHORE) ) ).


n1_a_seashells n1_a_seashells__1_1_1_1 She n1_a_seashells__1_2_1 sells n1_a_seashells__1_3_1_1 sea n1_a_seashells__1_3_2_1 - n1_a_seashells__1_3_3_1 shells n1_a_seashells__1_4_1_1 on n1_a_seashells__1_4_2_1_1 the n1_a_seashells__1_4_2_2_1 sea_shore n1_a_seashells__1_5_1 ; n1_a_seashells__1 IP-MAT n1_a_seashells__1_1 NP-SBJ n1_a_seashells__1->n1_a_seashells__1_1 n1_a_seashells__1_2 VBP;_Tn_ n1_a_seashells__1->n1_a_seashells__1_2 n1_a_seashells__1_3 NP-OB1 n1_a_seashells__1->n1_a_seashells__1_3 n1_a_seashells__1_4 PP-NIM n1_a_seashells__1->n1_a_seashells__1_4 n1_a_seashells__1_5 PUNC n1_a_seashells__1->n1_a_seashells__1_5 n1_a_seashells__1_1_1 PRO n1_a_seashells__1_1->n1_a_seashells__1_1_1 n1_a_seashells__1_1_1->n1_a_seashells__1_1_1_1 n1_a_seashells__1_2->n1_a_seashells__1_2_1 n1_a_seashells__1_3_1 N n1_a_seashells__1_3->n1_a_seashells__1_3_1 n1_a_seashells__1_3_2 PUNC n1_a_seashells__1_3->n1_a_seashells__1_3_2 n1_a_seashells__1_3_3 NS n1_a_seashells__1_3->n1_a_seashells__1_3_3 n1_a_seashells__1_3_1->n1_a_seashells__1_3_1_1 n1_a_seashells__1_3_2->n1_a_seashells__1_3_2_1 n1_a_seashells__1_3_3->n1_a_seashells__1_3_3_1 n1_a_seashells__1_4_1 P-ROLE n1_a_seashells__1_4->n1_a_seashells__1_4_1 n1_a_seashells__1_4_2 NP n1_a_seashells__1_4->n1_a_seashells__1_4_2 n1_a_seashells__1_4_1->n1_a_seashells__1_4_1_1 n1_a_seashells__1_4_2_1 D n1_a_seashells__1_4_2->n1_a_seashells__1_4_2_1 n1_a_seashells__1_4_2_2 N n1_a_seashells__1_4_2->n1_a_seashells__1_4_2_2 n1_a_seashells__1_4_2_1->n1_a_seashells__1_4_2_1_1 n1_a_seashells__1_4_2_2->n1_a_seashells__1_4_2_2_1 n1_a_seashells__1_5->n1_a_seashells__1_5_1 
( (IP-MAT (NP-SBJ;{SELLER} (PRO She;{she}))
          (VBP;_Tn_ sells;{sell})
          (NP-OB1;{SEA_SHELLS} (N sea;{sea})
                               (PUNC <hyphen>)
                               (NS shells;{shell}))
          (PP-NIM (P-ROLE on;{on})
                  (NP;{SEA_SHORE} (D the;{the})
                                  (N sea_shore;{sea_shore})))
          (PUNC ;))
  (ID 1_a_seashells))