Context                Previous, Next                Top


117_a_wilde_1_1888
“A swallow in winter!”

%3 r_0117_0002__A_r_0117_0003__swallow A swallow r_0117_0005__winter winter r_0117_0002__A_r_0117_0003__swallow->r_0117_0005__winter in z_000_117_a_wilde_1_1888_1 z_000_117_a_wilde_1_1888_1->r_0117_0002__A_r_0117_0003__swallow [prd] 
arc(r_0117_0002__A_r_0117_0003__swallow, r_0117_0005__winter, r_0117_0004__in).
arc(z_000_117_a_wilde_1_1888_1, r_0117_0002__A_r_0117_0003__swallow, prd).


%3 z_000_117_a_wilde_1_1888_1 r_0117_0002__A_r_0117_0003__swallow A swallow z_000_117_a_wilde_1_1888_1->r_0117_0002__A_r_0117_0003__swallow [prd] r_0117_0005__winter winter r_0117_0002__A_r_0117_0003__swallow->r_0117_0005__winter in 
fof(formula,axiom,
    ? [Z_117_A_WILDE_1_1888_1,R_117_2_A_SWALLOW,R_117_5_WINTER] :
      ( winter(R_117_5_WINTER)
      & z_117_a_wilde_1_1888_1(Z_117_A_WILDE_1_1888_1)
      & prd(Z_117_A_WILDE_1_1888_1,R_117_2_A_SWALLOW)
      & a_swallow(R_117_2_A_SWALLOW)
      & in(R_117_2_A_SWALLOW,R_117_5_WINTER) ) ).


n117_a_wilde_1_1888 n117_a_wilde_1_1888__1_1_1 <ldquo> n117_a_wilde_1_1888__1_2_1_1 A n117_a_wilde_1_1888__1_2_2_1 swallow n117_a_wilde_1_1888__1_2_3_1_1 in n117_a_wilde_1_1888__1_2_3_2_1_1 winter n117_a_wilde_1_1888__1_3_1 ! n117_a_wilde_1_1888__1_4_1 <rdquo> n117_a_wilde_1_1888__1 FRAG n117_a_wilde_1_1888__1_1 PULQ n117_a_wilde_1_1888__1->n117_a_wilde_1_1888__1_1 n117_a_wilde_1_1888__1_2 NP-PRD n117_a_wilde_1_1888__1->n117_a_wilde_1_1888__1_2 n117_a_wilde_1_1888__1_3 PUNC n117_a_wilde_1_1888__1->n117_a_wilde_1_1888__1_3 n117_a_wilde_1_1888__1_4 PURQ n117_a_wilde_1_1888__1->n117_a_wilde_1_1888__1_4 n117_a_wilde_1_1888__1_1->n117_a_wilde_1_1888__1_1_1 n117_a_wilde_1_1888__1_2_1 D n117_a_wilde_1_1888__1_2->n117_a_wilde_1_1888__1_2_1 n117_a_wilde_1_1888__1_2_2 N n117_a_wilde_1_1888__1_2->n117_a_wilde_1_1888__1_2_2 n117_a_wilde_1_1888__1_2_3 PP n117_a_wilde_1_1888__1_2->n117_a_wilde_1_1888__1_2_3 n117_a_wilde_1_1888__1_2_1->n117_a_wilde_1_1888__1_2_1_1 n117_a_wilde_1_1888__1_2_2->n117_a_wilde_1_1888__1_2_2_1 n117_a_wilde_1_1888__1_2_3_1 P-ROLE n117_a_wilde_1_1888__1_2_3->n117_a_wilde_1_1888__1_2_3_1 n117_a_wilde_1_1888__1_2_3_2 NP n117_a_wilde_1_1888__1_2_3->n117_a_wilde_1_1888__1_2_3_2 n117_a_wilde_1_1888__1_2_3_1->n117_a_wilde_1_1888__1_2_3_1_1 n117_a_wilde_1_1888__1_2_3_2_1 N n117_a_wilde_1_1888__1_2_3_2->n117_a_wilde_1_1888__1_2_3_2_1 n117_a_wilde_1_1888__1_2_3_2_1->n117_a_wilde_1_1888__1_2_3_2_1_1 n117_a_wilde_1_1888__1_3->n117_a_wilde_1_1888__1_3_1 n117_a_wilde_1_1888__1_4->n117_a_wilde_1_1888__1_4_1 
( (FRAG (PULQ <ldquo>)
        (NP-PRD;{WINTER_SWALLOW} (D A;{a})
                                 (N swallow;{swallow})
                                 (PP (P-ROLE in;{in})
                                     (NP (N winter;{winter}))))
        (PUNC !)
        (PURQ <rdquo>))
  (ID 117_a_wilde_1_1888))