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_0034_0002__THE_R_0034_0003__SPRING,R_0034_0004__NEVER,R_0034_0001__BUT_R_0034_0005__CAME,R_0034_0008__THE_R_0034_0009__SUMMER,Z_000_34_A_WILDE_2_1888_21,R_0034_0007__NOR] :
      ( r_0034_0002__the_r_0034_0003__Spring(R_0034_0002__THE_R_0034_0003__SPRING)
      & r_0034_0004__never(R_0034_0004__NEVER)
      & r_0034_0008__the_r_0034_0009__Summer(R_0034_0008__THE_R_0034_0009__SUMMER)
      & r_0034_0007__nor(R_0034_0007__NOR)
      & has_conj2(R_0034_0007__NOR,Z_000_34_A_WILDE_2_1888_21)
      & z_000_34_a_wilde_2_1888_21(Z_000_34_A_WILDE_2_1888_21)
      & has_arg0(Z_000_34_A_WILDE_2_1888_21,R_0034_0008__THE_R_0034_0009__SUMMER)
      & has_conj1(R_0034_0007__NOR,R_0034_0001__BUT_R_0034_0005__CAME)
      & r_0034_0001__But_r_0034_0005__came(R_0034_0001__BUT_R_0034_0005__CAME)
      & has_nim11(R_0034_0001__BUT_R_0034_0005__CAME,R_0034_0004__NEVER)
      & has_arg0(R_0034_0001__BUT_R_0034_0005__CAME,R_0034_0002__THE_R_0034_0003__SPRING) ) ).


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