Context                Previous, Next                Top


3_a_seashells
So if she sells sea - shells on the sea shore, I'm sure that the shells are sea-shore shells.

n3_a_seashells n3_a_seashells__1_1_1_1_1 So n3_a_seashells__1_1_2_1 if n3_a_seashells__1_1_3_1_1_1 she n3_a_seashells__1_1_3_2_1 sells n3_a_seashells__1_1_3_3_1_1 sea n3_a_seashells__1_1_3_3_2_1 - n3_a_seashells__1_1_3_3_3_1 shells n3_a_seashells__1_1_3_4_1_1 on n3_a_seashells__1_1_3_4_2_1_1 the n3_a_seashells__1_1_3_4_2_2_1 sea_shore n3_a_seashells__1_2_1 , n3_a_seashells__1_3_1_1 I n3_a_seashells__1_4_1 'm n3_a_seashells__1_5_1_1 sure n3_a_seashells__1_5_2_1_1_1 that n3_a_seashells__1_5_2_1_2_1_1 the n3_a_seashells__1_5_2_1_2_2_1 shells n3_a_seashells__1_5_2_1_3_1 are n3_a_seashells__1_5_2_1_4_1_1 sea-shore n3_a_seashells__1_5_2_1_4_2_1 shells n3_a_seashells__1_6_1 . n3_a_seashells__1 IP-MAT n3_a_seashells__1_1 PP-SCON n3_a_seashells__1->n3_a_seashells__1_1 n3_a_seashells__1_2 PUNC n3_a_seashells__1->n3_a_seashells__1_2 n3_a_seashells__1_3 NP-SBJ n3_a_seashells__1->n3_a_seashells__1_3 n3_a_seashells__1_4 BEP;_La_ n3_a_seashells__1->n3_a_seashells__1_4 n3_a_seashells__1_5 ADJP-PRD n3_a_seashells__1->n3_a_seashells__1_5 n3_a_seashells__1_6 PUNC n3_a_seashells__1->n3_a_seashells__1_6 n3_a_seashells__1_1_1 ADVP-NIM n3_a_seashells__1_1->n3_a_seashells__1_1_1 n3_a_seashells__1_1_2 P-CONN n3_a_seashells__1_1->n3_a_seashells__1_1_2 n3_a_seashells__1_1_3 IP-ADV n3_a_seashells__1_1->n3_a_seashells__1_1_3 n3_a_seashells__1_1_1_1 ADV n3_a_seashells__1_1_1->n3_a_seashells__1_1_1_1 n3_a_seashells__1_1_1_1->n3_a_seashells__1_1_1_1_1 n3_a_seashells__1_1_2->n3_a_seashells__1_1_2_1 n3_a_seashells__1_1_3_1 NP-SBJ n3_a_seashells__1_1_3->n3_a_seashells__1_1_3_1 n3_a_seashells__1_1_3_2 VBP;_Tn_ n3_a_seashells__1_1_3->n3_a_seashells__1_1_3_2 n3_a_seashells__1_1_3_3 NP-OB1 n3_a_seashells__1_1_3->n3_a_seashells__1_1_3_3 n3_a_seashells__1_1_3_4 PP-NIM n3_a_seashells__1_1_3->n3_a_seashells__1_1_3_4 n3_a_seashells__1_1_3_1_1 PRO n3_a_seashells__1_1_3_1->n3_a_seashells__1_1_3_1_1 n3_a_seashells__1_1_3_1_1->n3_a_seashells__1_1_3_1_1_1 n3_a_seashells__1_1_3_2->n3_a_seashells__1_1_3_2_1 n3_a_seashells__1_1_3_3_1 N n3_a_seashells__1_1_3_3->n3_a_seashells__1_1_3_3_1 n3_a_seashells__1_1_3_3_2 PUNC n3_a_seashells__1_1_3_3->n3_a_seashells__1_1_3_3_2 n3_a_seashells__1_1_3_3_3 NS n3_a_seashells__1_1_3_3->n3_a_seashells__1_1_3_3_3 n3_a_seashells__1_1_3_3_1->n3_a_seashells__1_1_3_3_1_1 n3_a_seashells__1_1_3_3_2->n3_a_seashells__1_1_3_3_2_1 n3_a_seashells__1_1_3_3_3->n3_a_seashells__1_1_3_3_3_1 n3_a_seashells__1_1_3_4_1 P-ROLE n3_a_seashells__1_1_3_4->n3_a_seashells__1_1_3_4_1 n3_a_seashells__1_1_3_4_2 NP n3_a_seashells__1_1_3_4->n3_a_seashells__1_1_3_4_2 n3_a_seashells__1_1_3_4_1->n3_a_seashells__1_1_3_4_1_1 n3_a_seashells__1_1_3_4_2_1 D n3_a_seashells__1_1_3_4_2->n3_a_seashells__1_1_3_4_2_1 n3_a_seashells__1_1_3_4_2_2 N n3_a_seashells__1_1_3_4_2->n3_a_seashells__1_1_3_4_2_2 n3_a_seashells__1_1_3_4_2_1->n3_a_seashells__1_1_3_4_2_1_1 n3_a_seashells__1_1_3_4_2_2->n3_a_seashells__1_1_3_4_2_2_1 n3_a_seashells__1_2->n3_a_seashells__1_2_1 n3_a_seashells__1_3_1 PRO n3_a_seashells__1_3->n3_a_seashells__1_3_1 n3_a_seashells__1_3_1->n3_a_seashells__1_3_1_1 n3_a_seashells__1_4->n3_a_seashells__1_4_1 n3_a_seashells__1_5_1 ADJ n3_a_seashells__1_5->n3_a_seashells__1_5_1 n3_a_seashells__1_5_2 CP-THT n3_a_seashells__1_5->n3_a_seashells__1_5_2 n3_a_seashells__1_5_1->n3_a_seashells__1_5_1_1 n3_a_seashells__1_5_2_1 IP-SUB n3_a_seashells__1_5_2->n3_a_seashells__1_5_2_1 n3_a_seashells__1_5_2_1_1 C n3_a_seashells__1_5_2_1->n3_a_seashells__1_5_2_1_1 n3_a_seashells__1_5_2_1_2 NP-SBJ n3_a_seashells__1_5_2_1->n3_a_seashells__1_5_2_1_2 n3_a_seashells__1_5_2_1_3 BEP;_Ln_ n3_a_seashells__1_5_2_1->n3_a_seashells__1_5_2_1_3 n3_a_seashells__1_5_2_1_4 NP-PRD n3_a_seashells__1_5_2_1->n3_a_seashells__1_5_2_1_4 n3_a_seashells__1_5_2_1_1->n3_a_seashells__1_5_2_1_1_1 n3_a_seashells__1_5_2_1_2_1 D n3_a_seashells__1_5_2_1_2->n3_a_seashells__1_5_2_1_2_1 n3_a_seashells__1_5_2_1_2_2 NS n3_a_seashells__1_5_2_1_2->n3_a_seashells__1_5_2_1_2_2 n3_a_seashells__1_5_2_1_2_1->n3_a_seashells__1_5_2_1_2_1_1 n3_a_seashells__1_5_2_1_2_2->n3_a_seashells__1_5_2_1_2_2_1 n3_a_seashells__1_5_2_1_3->n3_a_seashells__1_5_2_1_3_1 n3_a_seashells__1_5_2_1_4_1 N n3_a_seashells__1_5_2_1_4->n3_a_seashells__1_5_2_1_4_1 n3_a_seashells__1_5_2_1_4_2 NS n3_a_seashells__1_5_2_1_4->n3_a_seashells__1_5_2_1_4_2 n3_a_seashells__1_5_2_1_4_1->n3_a_seashells__1_5_2_1_4_1_1 n3_a_seashells__1_5_2_1_4_2->n3_a_seashells__1_5_2_1_4_2_1 n3_a_seashells__1_6->n3_a_seashells__1_6_1 
( (IP-MAT (PP-SCON (ADVP-NIM (ADV So;{so}))
                   (P-CONN if;{if})
                   (IP-ADV (NP-SBJ;{SELLER} (PRO she;{she}))
                           (VBP;_Tn_ sells;{sell})
                           (NP-OB1;{SEA_SHELLS2} (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 ,)
          (NP-SBJ (PRO I;{I}))
          (BEP;_La_ <apos>m;{be})
          (ADJP-PRD (ADJ sure;{sure})
                    (CP-THT (IP-SUB (C that;{that})
                                    (NP-SBJ;{SEA_SHELLS2} (D the;{the})
                                                          (NS shells;{shell}))
                                    (BEP;_Ln_ are;{be})
                                    (NP-PRD (N sea_<hyphen>_shore;{sea_shore})
                                            (NS shells;{shell})))))
          (PUNC .))
  (ID 3_a_seashells;1))


%3 r_0003_0018__are are r_0003_0019__sea__hyphen__shore_r_0003_0020__shells sea-shore shells r_0003_0018__are->r_0003_0019__sea__hyphen__shore_r_0003_0020__shells [prd] r_0003_0005__sea_r_0003_0007__shells sea shells r_0003_0018__are->r_0003_0005__sea_r_0003_0007__shells [arg0] r_0003_0014__sure sure r_0003_0014__sure->r_0003_0018__are [emb] r_0003_0013___apos_m 'm r_0003_0013___apos_m->r_0003_0014__sure [prd] r_0003_0012__I I r_0003_0013___apos_m->r_0003_0012__I [arg0] r_0003_0004__sells sells r_0003_0004__sells->r_0003_0005__sea_r_0003_0007__shells [arg1] r_0003_0009__the_r_0003_0010__sea_shore the sea_shore r_0003_0004__sells->r_0003_0009__the_r_0003_0010__sea_shore on [nim] r_0003_0003__she she r_0003_0004__sells->r_0003_0003__she [arg0] r_0003_0001__So_r_0003_0002__if So if r_0003_0001__So_r_0003_0002__if->r_0003_0013___apos_m [scope] r_0003_0001__So_r_0003_0002__if->r_0003_0004__sells [restriction] 
arc(r_0003_0001__So_r_0003_0002__if,r_0003_0004__sells,restriction).
arc(r_0003_0001__So_r_0003_0002__if,r_0003_0013___apos_m,scope).
arc(r_0003_0004__sells,r_0003_0003__she,arg0).
arc(r_0003_0004__sells,r_0003_0005__sea_r_0003_0007__shells,arg1).
arc(r_0003_0004__sells,r_0003_0009__the_r_0003_0010__sea_shore,r_0003_0008__on__nim).
arc(r_0003_0013___apos_m,r_0003_0012__I,arg0).
arc(r_0003_0013___apos_m,r_0003_0014__sure,prd).
arc(r_0003_0014__sure,r_0003_0018__are,emb).
arc(r_0003_0018__are,r_0003_0005__sea_r_0003_0007__shells,arg0).
arc(r_0003_0018__are,r_0003_0019__sea__hyphen__shore_r_0003_0020__shells,prd).


%3 r_0003_0001__So_r_0003_0002__if So if r_0003_0004__sells sells r_0003_0001__So_r_0003_0002__if->r_0003_0004__sells [restriction] r_0003_0013___apos_m 'm r_0003_0001__So_r_0003_0002__if->r_0003_0013___apos_m [scope] r_0003_0003__she she r_0003_0004__sells->r_0003_0003__she [arg0] r_0003_0005__sea_r_0003_0007__shells sea shells r_0003_0004__sells->r_0003_0005__sea_r_0003_0007__shells [arg1] r_0003_0009__the_r_0003_0010__sea_shore the sea_shore r_0003_0004__sells->r_0003_0009__the_r_0003_0010__sea_shore on [nim] r_0003_0012__I I r_0003_0013___apos_m->r_0003_0012__I [arg0] r_0003_0014__sure sure r_0003_0013___apos_m->r_0003_0014__sure [prd] r_0003_0018__are are r_0003_0014__sure->r_0003_0018__are [emb] r_0003_0018__are->r_0003_0005__sea_r_0003_0007__shells [arg0] r_0003_0019__sea__hyphen__shore_r_0003_0020__shells sea-shore shells r_0003_0018__are->r_0003_0019__sea__hyphen__shore_r_0003_0020__shells [prd] 
fof(formula,axiom,
    ! [R_0003_0004__SELLS,R_0003_0003__SHE,R_0003_0005__SEA_R_0003_0007__SHELLS,R_0003_0009__THE_R_0003_0010__SEA_SHORE] :
      ( ( r_0003_0003__she(R_0003_0003__SHE)
        & r_0003_0005__sea_r_0003_0007__shells(R_0003_0005__SEA_R_0003_0007__SHELLS)
        & r_0003_0009__the_r_0003_0010__sea_shore(R_0003_0009__THE_R_0003_0010__SEA_SHORE)
        & r_0003_0004__sells(R_0003_0004__SELLS)
        & has_r_0003_0008__on__nim(R_0003_0004__SELLS,R_0003_0009__THE_R_0003_0010__SEA_SHORE)
        & has_arg1(R_0003_0004__SELLS,R_0003_0005__SEA_R_0003_0007__SHELLS)
        & has_arg0(R_0003_0004__SELLS,R_0003_0003__SHE) )
     => ? [R_0003_0012__I,R_0003_0019__SEA__HYPHEN__SHORE_R_0003_0020__SHELLS,R_0003_0018__ARE,R_0003_0014__SURE,R_0003_0013___APOS_M] :
          ( r_0003_0012__I(R_0003_0012__I)
          & r_0003_0019__sea__hyphen__shore_r_0003_0020__shells(R_0003_0019__SEA__HYPHEN__SHORE_R_0003_0020__SHELLS)
          & r_0003_0013___apos_m(R_0003_0013___APOS_M)
          & has_prd(R_0003_0013___APOS_M,R_0003_0014__SURE)
          & r_0003_0014__sure(R_0003_0014__SURE)
          & has_emb(R_0003_0014__SURE,R_0003_0018__ARE)
          & r_0003_0018__are(R_0003_0018__ARE)
          & has_prd(R_0003_0018__ARE,R_0003_0019__SEA__HYPHEN__SHORE_R_0003_0020__SHELLS)
          & has_arg0(R_0003_0018__ARE,R_0003_0005__SEA_R_0003_0007__SHELLS)
          & has_arg0(R_0003_0013___APOS_M,R_0003_0012__I) ) ) ).