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,
    ? [R_0025_0002__SPRING,R_0025_0005__THIS_R_0025_0006__GARDEN,R_0025_0003__HAS_R_0025_0004__FORGOTTEN,R_0025_0013__SO,R_0025_0015__WILL,Z_000_25_A_WILDE_2_1888_4] :
      ( r_0025_0002__Spring(R_0025_0002__SPRING)
      & r_0025_0005__this_r_0025_0006__garden(R_0025_0005__THIS_R_0025_0006__GARDEN)
      & r_0025_0013__so(R_0025_0013__SO)
      & z_000_25_a_wilde_2_1888_4(Z_000_25_A_WILDE_2_1888_4)
      & has_conj2(Z_000_25_A_WILDE_2_1888_4,R_0025_0015__WILL)
      & r_0025_0015__will(R_0025_0015__WILL)
      & ! [R_0025_0019__THE_R_0025_0020__YEAR,R_0025_0021__ROUND] :
          ( ( r_0025_0021__round(R_0025_0021__ROUND)
            & r_0025_0019__the_r_0025_0020__year(R_0025_0019__THE_R_0025_0020__YEAR)
            & has_qual57(R_0025_0019__THE_R_0025_0020__YEAR,R_0025_0021__ROUND) )
         => ? [R_0025_0014__WE,R_0025_0017__HERE,R_0025_0016__LIVE] :
              ( r_0025_0014__we(R_0025_0014__WE)
              & r_0025_0017__here(R_0025_0017__HERE)
              & r_0025_0016__live(R_0025_0016__LIVE)
              & has_nim50(R_0025_0016__LIVE,R_0025_0019__THE_R_0025_0020__YEAR)
              & has_nim47(R_0025_0016__LIVE,R_0025_0017__HERE)
              & has_arg0(R_0025_0016__LIVE,R_0025_0014__WE) ) )
      & has_nim36(R_0025_0015__WILL,R_0025_0013__SO)
      & has_conj1(Z_000_25_A_WILDE_2_1888_4,R_0025_0003__HAS_R_0025_0004__FORGOTTEN)
      & r_0025_0003__has_r_0025_0004__forgotten(R_0025_0003__HAS_R_0025_0004__FORGOTTEN)
      & has_arg1(R_0025_0003__HAS_R_0025_0004__FORGOTTEN,R_0025_0005__THIS_R_0025_0006__GARDEN)
      & has_arg0(R_0025_0003__HAS_R_0025_0004__FORGOTTEN,R_0025_0002__SPRING) ) ).


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))