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_0015__will will r_0025_0018__all_quant all [quant] r_0025_0015__will->r_0025_0018__all_quant [keep_scope] r_0025_0013__so so r_0025_0015__will->r_0025_0013__so [nim] 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_0016__live live r_0025_0018__all_quant->r_0025_0016__live [scope] z_000_25_a_wilde_2_1888_4 z_000_25_a_wilde_2_1888_4->r_0025_0015__will [conj2] r_0025_0003__has_r_0025_0004__forgotten has forgotten z_000_25_a_wilde_2_1888_4->r_0025_0003__has_r_0025_0004__forgotten [conj1] 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_0002__Spring Spring r_0025_0003__has_r_0025_0004__forgotten->r_0025_0002__Spring [arg0] r_0025_0021__round round r_0025_0019__the_r_0025_0020__year->r_0025_0021__round [qual] r_0025_0016__live->r_0025_0019__the_r_0025_0020__year [nim] r_0025_0017__here here r_0025_0016__live->r_0025_0017__here [nim] r_0025_0014__we we r_0025_0016__live->r_0025_0014__we [arg0] 
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__1_1_1 <ldquo> n25_a_wilde_2_1888__1_2_1_1_1_1 Spring n25_a_wilde_2_1888__1_2_1_2_1 has n25_a_wilde_2_1888__1_2_1_3_1_1 forgotten n25_a_wilde_2_1888__1_2_1_3_2_1_1 this n25_a_wilde_2_1888__1_2_1_3_2_2_1 garden n25_a_wilde_2_1888__1_2_1_4_1 , n25_a_wilde_2_1888__1_2_1_5_1 <rdquo> n25_a_wilde_2_1888__1_2_1_6_1_1_1_1 they n25_a_wilde_2_1888__1_2_1_6_1_2_1 cried n25_a_wilde_2_1888__1_2_2_1 , n25_a_wilde_2_1888__1_2_3_1 <ldquo> n25_a_wilde_2_1888__1_2_4_1_1_1_1 so n25_a_wilde_2_1888__1_2_4_1_2_1_1 we n25_a_wilde_2_1888__1_2_4_1_3_1 will n25_a_wilde_2_1888__1_2_4_1_4_1_1 live n25_a_wilde_2_1888__1_2_4_1_4_2_1_1 here n25_a_wilde_2_1888__1_2_4_1_4_3_1_1 all n25_a_wilde_2_1888__1_2_4_1_4_3_2_1 the n25_a_wilde_2_1888__1_2_4_1_4_3_3_1 year n25_a_wilde_2_1888__1_2_4_1_4_3_4_1_1 round n25_a_wilde_2_1888__1_3_1 . n25_a_wilde_2_1888__1_4_1 <rdquo> n25_a_wilde_2_1888__1 IP-MAT n25_a_wilde_2_1888__1_1 PULQ n25_a_wilde_2_1888__1->n25_a_wilde_2_1888__1_1 n25_a_wilde_2_1888__1_2 ILYR n25_a_wilde_2_1888__1->n25_a_wilde_2_1888__1_2 n25_a_wilde_2_1888__1_3 PUNC n25_a_wilde_2_1888__1->n25_a_wilde_2_1888__1_3 n25_a_wilde_2_1888__1_4 PURQ n25_a_wilde_2_1888__1->n25_a_wilde_2_1888__1_4 n25_a_wilde_2_1888__1_1->n25_a_wilde_2_1888__1_1_1 n25_a_wilde_2_1888__1_2_1 ILYR n25_a_wilde_2_1888__1_2->n25_a_wilde_2_1888__1_2_1 n25_a_wilde_2_1888__1_2_2 PUNC n25_a_wilde_2_1888__1_2->n25_a_wilde_2_1888__1_2_2 n25_a_wilde_2_1888__1_2_3 PULQ n25_a_wilde_2_1888__1_2->n25_a_wilde_2_1888__1_2_3 n25_a_wilde_2_1888__1_2_4 CONJP n25_a_wilde_2_1888__1_2->n25_a_wilde_2_1888__1_2_4 n25_a_wilde_2_1888__1_2_1_1 NP-SBJ n25_a_wilde_2_1888__1_2_1->n25_a_wilde_2_1888__1_2_1_1 n25_a_wilde_2_1888__1_2_1_2 HVP;_cat_Ve_ n25_a_wilde_2_1888__1_2_1->n25_a_wilde_2_1888__1_2_1_2 n25_a_wilde_2_1888__1_2_1_3 IP-PPL-CAT n25_a_wilde_2_1888__1_2_1->n25_a_wilde_2_1888__1_2_1_3 n25_a_wilde_2_1888__1_2_1_4 PUNC n25_a_wilde_2_1888__1_2_1->n25_a_wilde_2_1888__1_2_1_4 n25_a_wilde_2_1888__1_2_1_5 PURQ n25_a_wilde_2_1888__1_2_1->n25_a_wilde_2_1888__1_2_1_5 n25_a_wilde_2_1888__1_2_1_6 PRN n25_a_wilde_2_1888__1_2_1->n25_a_wilde_2_1888__1_2_1_6 n25_a_wilde_2_1888__1_2_1_1_1 NPR n25_a_wilde_2_1888__1_2_1_1->n25_a_wilde_2_1888__1_2_1_1_1 n25_a_wilde_2_1888__1_2_1_1_1->n25_a_wilde_2_1888__1_2_1_1_1_1 n25_a_wilde_2_1888__1_2_1_2->n25_a_wilde_2_1888__1_2_1_2_1 n25_a_wilde_2_1888__1_2_1_3_1 VVN;__ n25_a_wilde_2_1888__1_2_1_3->n25_a_wilde_2_1888__1_2_1_3_1 n25_a_wilde_2_1888__1_2_1_3_2 NP-OB1 n25_a_wilde_2_1888__1_2_1_3->n25_a_wilde_2_1888__1_2_1_3_2 n25_a_wilde_2_1888__1_2_1_3_1->n25_a_wilde_2_1888__1_2_1_3_1_1 n25_a_wilde_2_1888__1_2_1_3_2_1 D n25_a_wilde_2_1888__1_2_1_3_2->n25_a_wilde_2_1888__1_2_1_3_2_1 n25_a_wilde_2_1888__1_2_1_3_2_2 N n25_a_wilde_2_1888__1_2_1_3_2->n25_a_wilde_2_1888__1_2_1_3_2_2 n25_a_wilde_2_1888__1_2_1_3_2_1->n25_a_wilde_2_1888__1_2_1_3_2_1_1 n25_a_wilde_2_1888__1_2_1_3_2_2->n25_a_wilde_2_1888__1_2_1_3_2_2_1 n25_a_wilde_2_1888__1_2_1_4->n25_a_wilde_2_1888__1_2_1_4_1 n25_a_wilde_2_1888__1_2_1_5->n25_a_wilde_2_1888__1_2_1_5_1 n25_a_wilde_2_1888__1_2_1_6_1 IP-MAT n25_a_wilde_2_1888__1_2_1_6->n25_a_wilde_2_1888__1_2_1_6_1 n25_a_wilde_2_1888__1_2_1_6_1_1 NP-SBJ n25_a_wilde_2_1888__1_2_1_6_1->n25_a_wilde_2_1888__1_2_1_6_1_1 n25_a_wilde_2_1888__1_2_1_6_1_2 VBD;__ n25_a_wilde_2_1888__1_2_1_6_1->n25_a_wilde_2_1888__1_2_1_6_1_2 n25_a_wilde_2_1888__1_2_1_6_1_1_1 PRO n25_a_wilde_2_1888__1_2_1_6_1_1->n25_a_wilde_2_1888__1_2_1_6_1_1_1 n25_a_wilde_2_1888__1_2_1_6_1_1_1->n25_a_wilde_2_1888__1_2_1_6_1_1_1_1 n25_a_wilde_2_1888__1_2_1_6_1_2->n25_a_wilde_2_1888__1_2_1_6_1_2_1 n25_a_wilde_2_1888__1_2_2->n25_a_wilde_2_1888__1_2_2_1 n25_a_wilde_2_1888__1_2_3->n25_a_wilde_2_1888__1_2_3_1 n25_a_wilde_2_1888__1_2_4_1 ILYR n25_a_wilde_2_1888__1_2_4->n25_a_wilde_2_1888__1_2_4_1 n25_a_wilde_2_1888__1_2_4_1_1 ADVP-NIM n25_a_wilde_2_1888__1_2_4_1->n25_a_wilde_2_1888__1_2_4_1_1 n25_a_wilde_2_1888__1_2_4_1_2 NP-SBJ n25_a_wilde_2_1888__1_2_4_1->n25_a_wilde_2_1888__1_2_4_1_2 n25_a_wilde_2_1888__1_2_4_1_3 MD;_cat_Vi_ n25_a_wilde_2_1888__1_2_4_1->n25_a_wilde_2_1888__1_2_4_1_3 n25_a_wilde_2_1888__1_2_4_1_4 IP-INF-CAT n25_a_wilde_2_1888__1_2_4_1->n25_a_wilde_2_1888__1_2_4_1_4 n25_a_wilde_2_1888__1_2_4_1_1_1 ADV n25_a_wilde_2_1888__1_2_4_1_1->n25_a_wilde_2_1888__1_2_4_1_1_1 n25_a_wilde_2_1888__1_2_4_1_1_1->n25_a_wilde_2_1888__1_2_4_1_1_1_1 n25_a_wilde_2_1888__1_2_4_1_2_1 PRO n25_a_wilde_2_1888__1_2_4_1_2->n25_a_wilde_2_1888__1_2_4_1_2_1 n25_a_wilde_2_1888__1_2_4_1_2_1->n25_a_wilde_2_1888__1_2_4_1_2_1_1 n25_a_wilde_2_1888__1_2_4_1_3->n25_a_wilde_2_1888__1_2_4_1_3_1 n25_a_wilde_2_1888__1_2_4_1_4_1 VB;__ n25_a_wilde_2_1888__1_2_4_1_4->n25_a_wilde_2_1888__1_2_4_1_4_1 n25_a_wilde_2_1888__1_2_4_1_4_2 ADVP-NIM n25_a_wilde_2_1888__1_2_4_1_4->n25_a_wilde_2_1888__1_2_4_1_4_2 n25_a_wilde_2_1888__1_2_4_1_4_3 NP-NIM n25_a_wilde_2_1888__1_2_4_1_4->n25_a_wilde_2_1888__1_2_4_1_4_3 n25_a_wilde_2_1888__1_2_4_1_4_1->n25_a_wilde_2_1888__1_2_4_1_4_1_1 n25_a_wilde_2_1888__1_2_4_1_4_2_1 ADV n25_a_wilde_2_1888__1_2_4_1_4_2->n25_a_wilde_2_1888__1_2_4_1_4_2_1 n25_a_wilde_2_1888__1_2_4_1_4_2_1->n25_a_wilde_2_1888__1_2_4_1_4_2_1_1 n25_a_wilde_2_1888__1_2_4_1_4_3_1 Q;_nphd_ n25_a_wilde_2_1888__1_2_4_1_4_3->n25_a_wilde_2_1888__1_2_4_1_4_3_1 n25_a_wilde_2_1888__1_2_4_1_4_3_2 D n25_a_wilde_2_1888__1_2_4_1_4_3->n25_a_wilde_2_1888__1_2_4_1_4_3_2 n25_a_wilde_2_1888__1_2_4_1_4_3_3 N n25_a_wilde_2_1888__1_2_4_1_4_3->n25_a_wilde_2_1888__1_2_4_1_4_3_3 n25_a_wilde_2_1888__1_2_4_1_4_3_4 ADVP n25_a_wilde_2_1888__1_2_4_1_4_3->n25_a_wilde_2_1888__1_2_4_1_4_3_4 n25_a_wilde_2_1888__1_2_4_1_4_3_1->n25_a_wilde_2_1888__1_2_4_1_4_3_1_1 n25_a_wilde_2_1888__1_2_4_1_4_3_2->n25_a_wilde_2_1888__1_2_4_1_4_3_2_1 n25_a_wilde_2_1888__1_2_4_1_4_3_3->n25_a_wilde_2_1888__1_2_4_1_4_3_3_1 n25_a_wilde_2_1888__1_2_4_1_4_3_4_1 ADV n25_a_wilde_2_1888__1_2_4_1_4_3_4->n25_a_wilde_2_1888__1_2_4_1_4_3_4_1 n25_a_wilde_2_1888__1_2_4_1_4_3_4_1->n25_a_wilde_2_1888__1_2_4_1_4_3_4_1_1 n25_a_wilde_2_1888__1_3->n25_a_wilde_2_1888__1_3_1 n25_a_wilde_2_1888__1_4->n25_a_wilde_2_1888__1_4_1 
( (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))