Context                Previous, Next                Top


1_a_seashells
She sells sea - shells on 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))


%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] 
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__nim).


%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_0001_0001__SHE,R_0001_0003__SEA_R_0001_0005__SHELLS,R_0001_0007__THE_R_0001_0008__SEA_SHORE,R_0001_0002__SELLS] :
      ( r_0001_0001__She(R_0001_0001__SHE)
      & r_0001_0003__sea_r_0001_0005__shells(R_0001_0003__SEA_R_0001_0005__SHELLS)
      & r_0001_0007__the_r_0001_0008__sea_shore(R_0001_0007__THE_R_0001_0008__SEA_SHORE)
      & r_0001_0002__sells(R_0001_0002__SELLS)
      & has_r_0001_0006__on__nim(R_0001_0002__SELLS,R_0001_0007__THE_R_0001_0008__SEA_SHORE)
      & has_arg1(R_0001_0002__SELLS,R_0001_0003__SEA_R_0001_0005__SHELLS)
      & has_arg0(R_0001_0002__SELLS,R_0001_0001__SHE) ) ).