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_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] 
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_4 So n3_a_seashells_6 if n3_a_seashells_10 she n3_a_seashells_12 sells n3_a_seashells_15 sea n3_a_seashells_17 - n3_a_seashells_19 shells n3_a_seashells_22 on n3_a_seashells_25 the n3_a_seashells_27 sea_shore n3_a_seashells_29 , n3_a_seashells_32 I n3_a_seashells_34 'm n3_a_seashells_37 sure n3_a_seashells_41 that n3_a_seashells_44 the n3_a_seashells_46 shells n3_a_seashells_48 are n3_a_seashells_51 sea-shore n3_a_seashells_53 shells n3_a_seashells_55 . n3_a_seashells_1 IP-MAT n3_a_seashells_2 PP-SCON n3_a_seashells_1->n3_a_seashells_2 n3_a_seashells_28 PUNC n3_a_seashells_1->n3_a_seashells_28 n3_a_seashells_30 NP-SBJ n3_a_seashells_1->n3_a_seashells_30 n3_a_seashells_33 BEP;_La_ n3_a_seashells_1->n3_a_seashells_33 n3_a_seashells_35 ADJP-PRD n3_a_seashells_1->n3_a_seashells_35 n3_a_seashells_54 PUNC n3_a_seashells_1->n3_a_seashells_54 n3_a_seashells_3 ADV n3_a_seashells_2->n3_a_seashells_3 n3_a_seashells_5 P-CONN n3_a_seashells_2->n3_a_seashells_5 n3_a_seashells_7 IP-ADV n3_a_seashells_2->n3_a_seashells_7 n3_a_seashells_3->n3_a_seashells_4 n3_a_seashells_5->n3_a_seashells_6 n3_a_seashells_8 NP-SBJ n3_a_seashells_7->n3_a_seashells_8 n3_a_seashells_11 VBP;_Tn_ n3_a_seashells_7->n3_a_seashells_11 n3_a_seashells_13 NP-OB1 n3_a_seashells_7->n3_a_seashells_13 n3_a_seashells_20 PP-NIM n3_a_seashells_7->n3_a_seashells_20 n3_a_seashells_9 PRO n3_a_seashells_8->n3_a_seashells_9 n3_a_seashells_9->n3_a_seashells_10 n3_a_seashells_11->n3_a_seashells_12 n3_a_seashells_14 N n3_a_seashells_13->n3_a_seashells_14 n3_a_seashells_16 PUNC n3_a_seashells_13->n3_a_seashells_16 n3_a_seashells_18 NS n3_a_seashells_13->n3_a_seashells_18 n3_a_seashells_14->n3_a_seashells_15 n3_a_seashells_16->n3_a_seashells_17 n3_a_seashells_18->n3_a_seashells_19 n3_a_seashells_21 P-ROLE n3_a_seashells_20->n3_a_seashells_21 n3_a_seashells_23 NP n3_a_seashells_20->n3_a_seashells_23 n3_a_seashells_21->n3_a_seashells_22 n3_a_seashells_24 D n3_a_seashells_23->n3_a_seashells_24 n3_a_seashells_26 N n3_a_seashells_23->n3_a_seashells_26 n3_a_seashells_24->n3_a_seashells_25 n3_a_seashells_26->n3_a_seashells_27 n3_a_seashells_28->n3_a_seashells_29 n3_a_seashells_31 PRO n3_a_seashells_30->n3_a_seashells_31 n3_a_seashells_31->n3_a_seashells_32 n3_a_seashells_33->n3_a_seashells_34 n3_a_seashells_36 ADJ n3_a_seashells_35->n3_a_seashells_36 n3_a_seashells_38 CP-THT n3_a_seashells_35->n3_a_seashells_38 n3_a_seashells_36->n3_a_seashells_37 n3_a_seashells_39 IP-SUB n3_a_seashells_38->n3_a_seashells_39 n3_a_seashells_40 C n3_a_seashells_39->n3_a_seashells_40 n3_a_seashells_42 NP-SBJ n3_a_seashells_39->n3_a_seashells_42 n3_a_seashells_47 BEP;_Ln_ n3_a_seashells_39->n3_a_seashells_47 n3_a_seashells_49 NP-PRD n3_a_seashells_39->n3_a_seashells_49 n3_a_seashells_40->n3_a_seashells_41 n3_a_seashells_43 D n3_a_seashells_42->n3_a_seashells_43 n3_a_seashells_45 NS n3_a_seashells_42->n3_a_seashells_45 n3_a_seashells_43->n3_a_seashells_44 n3_a_seashells_45->n3_a_seashells_46 n3_a_seashells_47->n3_a_seashells_48 n3_a_seashells_50 N n3_a_seashells_49->n3_a_seashells_50 n3_a_seashells_52 NS n3_a_seashells_49->n3_a_seashells_52 n3_a_seashells_50->n3_a_seashells_51 n3_a_seashells_52->n3_a_seashells_53 n3_a_seashells_54->n3_a_seashells_55 
( (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))