Context                Previous, Next                Top


34_a_wilde_2_1888
But the Spring never came, nor the Summer.

%3 r_0034_0001__But_r_0034_0005__came But came r_0034_0002__the_r_0034_0003__Spring the Spring r_0034_0001__But_r_0034_0005__came->r_0034_0002__the_r_0034_0003__Spring [arg0] r_0034_0004__never never r_0034_0001__But_r_0034_0005__came->r_0034_0004__never [nim] r_0034_0007__nor nor r_0034_0007__nor->r_0034_0001__But_r_0034_0005__came [conj1] z_000_34_a_wilde_2_1888_21 r_0034_0007__nor->z_000_34_a_wilde_2_1888_21 [conj2] r_0034_0008__the_r_0034_0009__Summer the Summer z_000_34_a_wilde_2_1888_21->r_0034_0008__the_r_0034_0009__Summer [arg0] 
arc(r_0034_0001__But_r_0034_0005__came, r_0034_0002__the_r_0034_0003__Spring, arg0).
arc(r_0034_0001__But_r_0034_0005__came, r_0034_0004__never, nim11).
arc(r_0034_0007__nor, r_0034_0001__But_r_0034_0005__came, conj1).
arc(r_0034_0007__nor, z_000_34_a_wilde_2_1888_21, conj2).
arc(z_000_34_a_wilde_2_1888_21, r_0034_0008__the_r_0034_0009__Summer, arg0).


%3 z_000_34_a_wilde_2_1888_21 r_0034_0008__the_r_0034_0009__Summer the Summer z_000_34_a_wilde_2_1888_21->r_0034_0008__the_r_0034_0009__Summer [arg0] r_0034_0007__nor nor r_0034_0007__nor->z_000_34_a_wilde_2_1888_21 [conj2] r_0034_0001__But_r_0034_0005__came But came r_0034_0007__nor->r_0034_0001__But_r_0034_0005__came [conj1] r_0034_0004__never never r_0034_0001__But_r_0034_0005__came->r_0034_0004__never [nim] r_0034_0002__the_r_0034_0003__Spring the Spring r_0034_0001__But_r_0034_0005__came->r_0034_0002__the_r_0034_0003__Spring [arg0] 
fof(formula,axiom,
    ? [R_34_7_NOR,R_34_1_BUT_CAME,R_34_2_THE_SPRING,R_34_4_NEVER,Z_34_A_WILDE_2_1888_21,R_34_8_THE_SUMMER] :
      ( the_Spring(R_34_2_THE_SPRING)
      & never(R_34_4_NEVER)
      & the_Summer(R_34_8_THE_SUMMER)
      & nor(R_34_7_NOR)
      & conj1(R_34_7_NOR,R_34_1_BUT_CAME)
      & but_came(R_34_1_BUT_CAME,R_34_2_THE_SPRING)
      & nim11(R_34_1_BUT_CAME,R_34_4_NEVER)
      & conj2(R_34_7_NOR,Z_34_A_WILDE_2_1888_21)
      & z_34_a_wilde_2_1888_21(Z_34_A_WILDE_2_1888_21,R_34_8_THE_SUMMER) ) ).


n34_a_wilde_2_1888 n34_a_wilde_2_1888__1_1_1_1_1 But n34_a_wilde_2_1888__1_1_1_2_1_1 the n34_a_wilde_2_1888__1_1_1_2_2_1 Spring n34_a_wilde_2_1888__1_1_1_3_1_1 never n34_a_wilde_2_1888__1_1_1_4_1 came n34_a_wilde_2_1888__1_1_2_1 , n34_a_wilde_2_1888__1_1_3_1_1 nor n34_a_wilde_2_1888__1_1_3_2_1_1_1 the n34_a_wilde_2_1888__1_1_3_2_1_2_1 Summer n34_a_wilde_2_1888__1_2_1 . n34_a_wilde_2_1888__1 IP-MAT n34_a_wilde_2_1888__1_1 ILYR n34_a_wilde_2_1888__1->n34_a_wilde_2_1888__1_1 n34_a_wilde_2_1888__1_2 PUNC n34_a_wilde_2_1888__1->n34_a_wilde_2_1888__1_2 n34_a_wilde_2_1888__1_1_1 ILYR n34_a_wilde_2_1888__1_1->n34_a_wilde_2_1888__1_1_1 n34_a_wilde_2_1888__1_1_2 PUNC n34_a_wilde_2_1888__1_1->n34_a_wilde_2_1888__1_1_2 n34_a_wilde_2_1888__1_1_3 CONJP n34_a_wilde_2_1888__1_1->n34_a_wilde_2_1888__1_1_3 n34_a_wilde_2_1888__1_1_1_1 CONJ;_cl_ n34_a_wilde_2_1888__1_1_1->n34_a_wilde_2_1888__1_1_1_1 n34_a_wilde_2_1888__1_1_1_2 NP-SBJ n34_a_wilde_2_1888__1_1_1->n34_a_wilde_2_1888__1_1_1_2 n34_a_wilde_2_1888__1_1_1_3 ADVP-NIM n34_a_wilde_2_1888__1_1_1->n34_a_wilde_2_1888__1_1_1_3 n34_a_wilde_2_1888__1_1_1_4 VBD;__ n34_a_wilde_2_1888__1_1_1->n34_a_wilde_2_1888__1_1_1_4 n34_a_wilde_2_1888__1_1_1_1->n34_a_wilde_2_1888__1_1_1_1_1 n34_a_wilde_2_1888__1_1_1_2_1 D n34_a_wilde_2_1888__1_1_1_2->n34_a_wilde_2_1888__1_1_1_2_1 n34_a_wilde_2_1888__1_1_1_2_2 NPR n34_a_wilde_2_1888__1_1_1_2->n34_a_wilde_2_1888__1_1_1_2_2 n34_a_wilde_2_1888__1_1_1_2_1->n34_a_wilde_2_1888__1_1_1_2_1_1 n34_a_wilde_2_1888__1_1_1_2_2->n34_a_wilde_2_1888__1_1_1_2_2_1 n34_a_wilde_2_1888__1_1_1_3_1 ADV n34_a_wilde_2_1888__1_1_1_3->n34_a_wilde_2_1888__1_1_1_3_1 n34_a_wilde_2_1888__1_1_1_3_1->n34_a_wilde_2_1888__1_1_1_3_1_1 n34_a_wilde_2_1888__1_1_1_4->n34_a_wilde_2_1888__1_1_1_4_1 n34_a_wilde_2_1888__1_1_2->n34_a_wilde_2_1888__1_1_2_1 n34_a_wilde_2_1888__1_1_3_1 CONJ n34_a_wilde_2_1888__1_1_3->n34_a_wilde_2_1888__1_1_3_1 n34_a_wilde_2_1888__1_1_3_2 ILYR n34_a_wilde_2_1888__1_1_3->n34_a_wilde_2_1888__1_1_3_2 n34_a_wilde_2_1888__1_1_3_1->n34_a_wilde_2_1888__1_1_3_1_1 n34_a_wilde_2_1888__1_1_3_2_1 NP-SBJ n34_a_wilde_2_1888__1_1_3_2->n34_a_wilde_2_1888__1_1_3_2_1 n34_a_wilde_2_1888__1_1_3_2_1_1 D n34_a_wilde_2_1888__1_1_3_2_1->n34_a_wilde_2_1888__1_1_3_2_1_1 n34_a_wilde_2_1888__1_1_3_2_1_2 N n34_a_wilde_2_1888__1_1_3_2_1->n34_a_wilde_2_1888__1_1_3_2_1_2 n34_a_wilde_2_1888__1_1_3_2_1_1->n34_a_wilde_2_1888__1_1_3_2_1_1_1 n34_a_wilde_2_1888__1_1_3_2_1_2->n34_a_wilde_2_1888__1_1_3_2_1_2_1 n34_a_wilde_2_1888__1_2->n34_a_wilde_2_1888__1_2_1 
( (IP-MAT (ILYR (ILYR (CONJ;_cl_ But;{but})
                      (NP-SBJ (D the;{the})
                              (NPR Spring;{Spring}))
                      (ADVP-NIM (ADV never;{never}))
                      (VBD;__ came;{come}))
                (PUNC ,)
                (CONJP (CONJ nor;{nor})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N Summer;{summer})))))
          (PUNC .))
  (ID 34_a_wilde_2_1888))