Context                Previous, Next                Top


25_a_wilde_2_1888
“Spring has forgotten this garden,” they cried, “so we will live here all the year round.”

%3 r_0025_0003__has has r_0025_0004__forgotten forgotten r_0025_0003__has->r_0025_0004__forgotten [scope] r_0025_0002__Spring Spring r_0025_0004__forgotten->r_0025_0002__Spring [arg0] r_0025_0005__this_r_0025_0006__garden this garden r_0025_0004__forgotten->r_0025_0005__this_r_0025_0006__garden [arg1] r_0025_0015__will will r_0025_0013__so so r_0025_0015__will->r_0025_0013__so [nim] r_0025_0018__all_quant all [quant] r_0025_0015__will->r_0025_0018__all_quant [scope] r_0025_0016__live live r_0025_0018__all_quant->r_0025_0016__live [scope] r_0025_0019__the_r_0025_0020__year the year r_0025_0018__all_quant->r_0025_0019__the_r_0025_0020__year [restriction] r_0025_0014__we we r_0025_0016__live->r_0025_0014__we [arg0] r_0025_0017__here here r_0025_0016__live->r_0025_0017__here [nim] r_0025_0016__live->r_0025_0019__the_r_0025_0020__year [nim] r_0025_0021__round round r_0025_0019__the_r_0025_0020__year->r_0025_0021__round [qual] z_000_25_a_wilde_2_1888_4 z_000_25_a_wilde_2_1888_4->r_0025_0003__has [conj1] z_000_25_a_wilde_2_1888_4->r_0025_0015__will [conj2] 
arc(r_0025_0003__has, r_0025_0004__forgotten, scope).
arc(r_0025_0004__forgotten, r_0025_0002__Spring, arg0).
arc(r_0025_0004__forgotten, r_0025_0005__this_r_0025_0006__garden, arg1).
arc(r_0025_0015__will, r_0025_0013__so, nim36).
arc(r_0025_0015__will, r_0025_0018__all_quant, scope).
arc(r_0025_0016__live, r_0025_0014__we, arg0).
arc(r_0025_0016__live, r_0025_0017__here, nim47).
arc(r_0025_0016__live, r_0025_0019__the_r_0025_0020__year, nim50).
arc(r_0025_0018__all_quant, r_0025_0016__live, scope).
arc(r_0025_0018__all_quant, r_0025_0019__the_r_0025_0020__year, restriction).
arc(r_0025_0019__the_r_0025_0020__year, r_0025_0021__round, qual57).
arc(z_000_25_a_wilde_2_1888_4, r_0025_0003__has, conj1).
arc(z_000_25_a_wilde_2_1888_4, r_0025_0015__will, conj2).


%3 r_0025_0003__has_r_0025_0004__forgotten has forgotten r_0025_0002__Spring Spring r_0025_0003__has_r_0025_0004__forgotten->r_0025_0002__Spring [arg0] r_0025_0005__this_r_0025_0006__garden this garden r_0025_0003__has_r_0025_0004__forgotten->r_0025_0005__this_r_0025_0006__garden [arg1] r_0025_0015__will will r_0025_0013__so so r_0025_0015__will->r_0025_0013__so [nim] r_0025_0018__all_quant all [quant] r_0025_0015__will->r_0025_0018__all_quant [keep_scope] r_0025_0016__live live r_0025_0018__all_quant->r_0025_0016__live [scope] r_0025_0019__the_r_0025_0020__year the year r_0025_0018__all_quant->r_0025_0019__the_r_0025_0020__year [restriction] r_0025_0014__we we r_0025_0016__live->r_0025_0014__we [arg0] r_0025_0017__here here r_0025_0016__live->r_0025_0017__here [nim] r_0025_0016__live->r_0025_0019__the_r_0025_0020__year [nim] r_0025_0021__round round r_0025_0019__the_r_0025_0020__year->r_0025_0021__round [qual] z_000_25_a_wilde_2_1888_4 z_000_25_a_wilde_2_1888_4->r_0025_0003__has_r_0025_0004__forgotten [conj1] z_000_25_a_wilde_2_1888_4->r_0025_0015__will [conj2] 
fof(formula,axiom,
    ? [Z_25_A_WILDE_2_1888_4,R_25_3_HAS_FORGOTTEN,R_25_2_SPRING,R_25_5_THIS_GARDEN,R_25_13_SO] :
      ( spring(R_25_2_SPRING)
      & this_garden(R_25_5_THIS_GARDEN)
      & so(R_25_13_SO)
      & z_25_a_wilde_2_1888_4(Z_25_A_WILDE_2_1888_4)
      & conj1(Z_25_A_WILDE_2_1888_4,R_25_3_HAS_FORGOTTEN)
      & has_forgotten(R_25_3_HAS_FORGOTTEN,R_25_2_SPRING,R_25_5_THIS_GARDEN)
      & conj2(Z_25_A_WILDE_2_1888_4,R_25_15_WILL)
      & ! [R_25_19_THE_YEAR,R_25_21_ROUND] :
          ( ( round(R_25_21_ROUND)
            & the_year(R_25_19_THE_YEAR)
            & qual57(R_25_19_THE_YEAR,R_25_21_ROUND) )
         => ? [R_25_16_LIVE,R_25_14_WE,R_25_17_HERE] :
              ( we(R_25_14_WE)
              & here(R_25_17_HERE)
              & live(R_25_16_LIVE,R_25_14_WE)
              & nim47(R_25_16_LIVE,R_25_17_HERE)
              & nim50(R_25_16_LIVE,R_25_19_THE_YEAR) ) ) ) ).


n25_a_wilde_2_1888 n25_a_wilde_2_1888_3 <ldquo> n25_a_wilde_2_1888_8 Spring n25_a_wilde_2_1888_10 has n25_a_wilde_2_1888_13 forgotten n25_a_wilde_2_1888_16 this n25_a_wilde_2_1888_18 garden n25_a_wilde_2_1888_20 , n25_a_wilde_2_1888_22 <rdquo> n25_a_wilde_2_1888_27 they n25_a_wilde_2_1888_29 cried n25_a_wilde_2_1888_31 , n25_a_wilde_2_1888_33 <ldquo> n25_a_wilde_2_1888_38 so n25_a_wilde_2_1888_41 we n25_a_wilde_2_1888_43 will n25_a_wilde_2_1888_46 live n25_a_wilde_2_1888_49 here n25_a_wilde_2_1888_52 all n25_a_wilde_2_1888_54 the n25_a_wilde_2_1888_56 year n25_a_wilde_2_1888_59 round n25_a_wilde_2_1888_61 . n25_a_wilde_2_1888_63 <rdquo> n25_a_wilde_2_1888_1 IP-MAT n25_a_wilde_2_1888_2 PULQ n25_a_wilde_2_1888_1->n25_a_wilde_2_1888_2 n25_a_wilde_2_1888_4 ILYR n25_a_wilde_2_1888_1->n25_a_wilde_2_1888_4 n25_a_wilde_2_1888_60 PUNC n25_a_wilde_2_1888_1->n25_a_wilde_2_1888_60 n25_a_wilde_2_1888_62 PURQ n25_a_wilde_2_1888_1->n25_a_wilde_2_1888_62 n25_a_wilde_2_1888_2->n25_a_wilde_2_1888_3 n25_a_wilde_2_1888_5 ILYR n25_a_wilde_2_1888_4->n25_a_wilde_2_1888_5 n25_a_wilde_2_1888_30 PUNC n25_a_wilde_2_1888_4->n25_a_wilde_2_1888_30 n25_a_wilde_2_1888_32 PULQ n25_a_wilde_2_1888_4->n25_a_wilde_2_1888_32 n25_a_wilde_2_1888_34 CONJP n25_a_wilde_2_1888_4->n25_a_wilde_2_1888_34 n25_a_wilde_2_1888_6 NP-SBJ n25_a_wilde_2_1888_5->n25_a_wilde_2_1888_6 n25_a_wilde_2_1888_9 HVP;_cat_Ve_ n25_a_wilde_2_1888_5->n25_a_wilde_2_1888_9 n25_a_wilde_2_1888_11 IP-PPL-CAT n25_a_wilde_2_1888_5->n25_a_wilde_2_1888_11 n25_a_wilde_2_1888_19 PUNC n25_a_wilde_2_1888_5->n25_a_wilde_2_1888_19 n25_a_wilde_2_1888_21 PURQ n25_a_wilde_2_1888_5->n25_a_wilde_2_1888_21 n25_a_wilde_2_1888_23 PRN n25_a_wilde_2_1888_5->n25_a_wilde_2_1888_23 n25_a_wilde_2_1888_7 NPR n25_a_wilde_2_1888_6->n25_a_wilde_2_1888_7 n25_a_wilde_2_1888_7->n25_a_wilde_2_1888_8 n25_a_wilde_2_1888_9->n25_a_wilde_2_1888_10 n25_a_wilde_2_1888_12 VVN;__ n25_a_wilde_2_1888_11->n25_a_wilde_2_1888_12 n25_a_wilde_2_1888_14 NP-OB1 n25_a_wilde_2_1888_11->n25_a_wilde_2_1888_14 n25_a_wilde_2_1888_12->n25_a_wilde_2_1888_13 n25_a_wilde_2_1888_15 D n25_a_wilde_2_1888_14->n25_a_wilde_2_1888_15 n25_a_wilde_2_1888_17 N n25_a_wilde_2_1888_14->n25_a_wilde_2_1888_17 n25_a_wilde_2_1888_15->n25_a_wilde_2_1888_16 n25_a_wilde_2_1888_17->n25_a_wilde_2_1888_18 n25_a_wilde_2_1888_19->n25_a_wilde_2_1888_20 n25_a_wilde_2_1888_21->n25_a_wilde_2_1888_22 n25_a_wilde_2_1888_24 IP-MAT n25_a_wilde_2_1888_23->n25_a_wilde_2_1888_24 n25_a_wilde_2_1888_25 NP-SBJ n25_a_wilde_2_1888_24->n25_a_wilde_2_1888_25 n25_a_wilde_2_1888_28 VBD;__ n25_a_wilde_2_1888_24->n25_a_wilde_2_1888_28 n25_a_wilde_2_1888_26 PRO n25_a_wilde_2_1888_25->n25_a_wilde_2_1888_26 n25_a_wilde_2_1888_26->n25_a_wilde_2_1888_27 n25_a_wilde_2_1888_28->n25_a_wilde_2_1888_29 n25_a_wilde_2_1888_30->n25_a_wilde_2_1888_31 n25_a_wilde_2_1888_32->n25_a_wilde_2_1888_33 n25_a_wilde_2_1888_35 ILYR n25_a_wilde_2_1888_34->n25_a_wilde_2_1888_35 n25_a_wilde_2_1888_36 ADVP-NIM n25_a_wilde_2_1888_35->n25_a_wilde_2_1888_36 n25_a_wilde_2_1888_39 NP-SBJ n25_a_wilde_2_1888_35->n25_a_wilde_2_1888_39 n25_a_wilde_2_1888_42 MD;_cat_Vi_ n25_a_wilde_2_1888_35->n25_a_wilde_2_1888_42 n25_a_wilde_2_1888_44 IP-INF-CAT n25_a_wilde_2_1888_35->n25_a_wilde_2_1888_44 n25_a_wilde_2_1888_37 ADV n25_a_wilde_2_1888_36->n25_a_wilde_2_1888_37 n25_a_wilde_2_1888_37->n25_a_wilde_2_1888_38 n25_a_wilde_2_1888_40 PRO n25_a_wilde_2_1888_39->n25_a_wilde_2_1888_40 n25_a_wilde_2_1888_40->n25_a_wilde_2_1888_41 n25_a_wilde_2_1888_42->n25_a_wilde_2_1888_43 n25_a_wilde_2_1888_45 VB;__ n25_a_wilde_2_1888_44->n25_a_wilde_2_1888_45 n25_a_wilde_2_1888_47 ADVP-NIM n25_a_wilde_2_1888_44->n25_a_wilde_2_1888_47 n25_a_wilde_2_1888_50 NP-NIM n25_a_wilde_2_1888_44->n25_a_wilde_2_1888_50 n25_a_wilde_2_1888_45->n25_a_wilde_2_1888_46 n25_a_wilde_2_1888_48 ADV n25_a_wilde_2_1888_47->n25_a_wilde_2_1888_48 n25_a_wilde_2_1888_48->n25_a_wilde_2_1888_49 n25_a_wilde_2_1888_51 Q;_nphd_ n25_a_wilde_2_1888_50->n25_a_wilde_2_1888_51 n25_a_wilde_2_1888_53 D n25_a_wilde_2_1888_50->n25_a_wilde_2_1888_53 n25_a_wilde_2_1888_55 N n25_a_wilde_2_1888_50->n25_a_wilde_2_1888_55 n25_a_wilde_2_1888_57 ADVP n25_a_wilde_2_1888_50->n25_a_wilde_2_1888_57 n25_a_wilde_2_1888_51->n25_a_wilde_2_1888_52 n25_a_wilde_2_1888_53->n25_a_wilde_2_1888_54 n25_a_wilde_2_1888_55->n25_a_wilde_2_1888_56 n25_a_wilde_2_1888_58 ADV n25_a_wilde_2_1888_57->n25_a_wilde_2_1888_58 n25_a_wilde_2_1888_58->n25_a_wilde_2_1888_59 n25_a_wilde_2_1888_60->n25_a_wilde_2_1888_61 n25_a_wilde_2_1888_62->n25_a_wilde_2_1888_63 
( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ (NPR Spring;{Spring}))
                      (HVP;_cat_Ve_ has;{have})
                      (IP-PPL-CAT (VVN;__ forgotten;{forget})
                                  (NP-OB1 (D this;{this})
                                          (N garden;{garden})))
                      (PUNC ,)
                      (PURQ <rdquo>)
                      (PRN (IP-MAT (NP-SBJ;{SNOW_FROST} (PRO they;{they}))
                                   (VBD;__ cried;{cry}))))
                (PUNC ,)
                (PULQ <ldquo>)
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ;{SNOW_FROST} (PRO we;{we}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;__ live;{live})
                                         (ADVP-NIM (ADV here;{here}))
                                         (NP-NIM (Q;_nphd_ all;{all})
                                                 (D the;{the})
                                                 (N year;{year})
                                                 (ADVP (ADV round;{round})))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 25_a_wilde_2_1888))