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_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] 
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_4 She n1_a_seashells_6 sells n1_a_seashells_9 sea n1_a_seashells_11 - n1_a_seashells_13 shells n1_a_seashells_16 on n1_a_seashells_19 the n1_a_seashells_21 sea_shore n1_a_seashells_23 ; n1_a_seashells_1 IP-MAT n1_a_seashells_2 NP-SBJ n1_a_seashells_1->n1_a_seashells_2 n1_a_seashells_5 VBP;_Tn_ n1_a_seashells_1->n1_a_seashells_5 n1_a_seashells_7 NP-OB1 n1_a_seashells_1->n1_a_seashells_7 n1_a_seashells_14 PP-NIM n1_a_seashells_1->n1_a_seashells_14 n1_a_seashells_22 PUNC n1_a_seashells_1->n1_a_seashells_22 n1_a_seashells_3 PRO n1_a_seashells_2->n1_a_seashells_3 n1_a_seashells_3->n1_a_seashells_4 n1_a_seashells_5->n1_a_seashells_6 n1_a_seashells_8 N n1_a_seashells_7->n1_a_seashells_8 n1_a_seashells_10 PUNC n1_a_seashells_7->n1_a_seashells_10 n1_a_seashells_12 NS n1_a_seashells_7->n1_a_seashells_12 n1_a_seashells_8->n1_a_seashells_9 n1_a_seashells_10->n1_a_seashells_11 n1_a_seashells_12->n1_a_seashells_13 n1_a_seashells_15 P-ROLE n1_a_seashells_14->n1_a_seashells_15 n1_a_seashells_17 NP n1_a_seashells_14->n1_a_seashells_17 n1_a_seashells_15->n1_a_seashells_16 n1_a_seashells_18 D n1_a_seashells_17->n1_a_seashells_18 n1_a_seashells_20 N n1_a_seashells_17->n1_a_seashells_20 n1_a_seashells_18->n1_a_seashells_19 n1_a_seashells_20->n1_a_seashells_21 n1_a_seashells_22->n1_a_seashells_23 
( (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))