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.

%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_0015__that_r_0003_0018__are that are r_0003_0014__sure->r_0003_0015__that_r_0003_0018__are [emb] r_0003_0016__the_r_0003_0017__shells the shells r_0003_0015__that_r_0003_0018__are->r_0003_0016__the_r_0003_0017__shells [arg0] r_0003_0019__sea__hyphen__shore_r_0003_0020__shells sea-shore shells r_0003_0015__that_r_0003_0018__are->r_0003_0019__sea__hyphen__shore_r_0003_0020__shells [prd] 
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_nim23).
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_0015__that_r_0003_0018__are, emb39).
arc(r_0003_0015__that_r_0003_0018__are, r_0003_0016__the_r_0003_0017__shells, arg0).
arc(r_0003_0015__that_r_0003_0018__are, r_0003_0019__sea__hyphen__shore_r_0003_0020__shells, prd).


%3 r_0003_0015__that_r_0003_0018__are that are r_0003_0019__sea__hyphen__shore_r_0003_0020__shells sea-shore shells r_0003_0015__that_r_0003_0018__are->r_0003_0019__sea__hyphen__shore_r_0003_0020__shells [prd] r_0003_0016__the_r_0003_0017__shells the shells r_0003_0015__that_r_0003_0018__are->r_0003_0016__the_r_0003_0017__shells [arg0] r_0003_0014__sure sure r_0003_0014__sure->r_0003_0015__that_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_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_0005__sea_r_0003_0007__shells sea shells r_0003_0004__sells->r_0003_0005__sea_r_0003_0007__shells [arg1] 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] 
fof(formula,axiom,
    ! [R_3_4_SELLS,R_3_3_SHE,R_3_5_SEA_SHELLS,R_3_9_THE_SEA_SHORE] :
      ( ( she(R_3_3_SHE)
        & sea_shells(R_3_5_SEA_SHELLS)
        & the_sea_shore(R_3_9_THE_SEA_SHORE)
        & sells(R_3_4_SELLS,R_3_3_SHE,R_3_5_SEA_SHELLS)
        & on_nim23(R_3_4_SELLS,R_3_9_THE_SEA_SHORE) )
     => ? [R_3_13__APOS_M,R_3_12_I,R_3_14_SURE,R_3_15_THAT_ARE,R_3_16_THE_SHELLS,R_3_19_SEA_HYPHEN_SHORE_SHELLS] :
          ( i(R_3_12_I)
          & the_shells(R_3_16_THE_SHELLS)
          & sea_hyphen_shore_shells(R_3_19_SEA_HYPHEN_SHORE_SHELLS)
          & _apos_m(R_3_13__APOS_M,R_3_12_I,R_3_14_SURE)
          & sure(R_3_14_SURE)
          & emb39(R_3_14_SURE,R_3_15_THAT_ARE)
          & that_are(R_3_15_THAT_ARE,R_3_16_THE_SHELLS,R_3_19_SEA_HYPHEN_SHORE_SHELLS) ) ) ).


n3_a_seashells n3_a_seashells__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 ADV 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->n3_a_seashells__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 (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))