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 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] 
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_3 <ldquo> n117_a_wilde_1_1888_6 A n117_a_wilde_1_1888_8 swallow n117_a_wilde_1_1888_11 in n117_a_wilde_1_1888_14 winter n117_a_wilde_1_1888_16 ! n117_a_wilde_1_1888_18 <rdquo> n117_a_wilde_1_1888_1 FRAG n117_a_wilde_1_1888_2 PULQ n117_a_wilde_1_1888_1->n117_a_wilde_1_1888_2 n117_a_wilde_1_1888_4 NP-PRD n117_a_wilde_1_1888_1->n117_a_wilde_1_1888_4 n117_a_wilde_1_1888_15 PUNC n117_a_wilde_1_1888_1->n117_a_wilde_1_1888_15 n117_a_wilde_1_1888_17 PURQ n117_a_wilde_1_1888_1->n117_a_wilde_1_1888_17 n117_a_wilde_1_1888_2->n117_a_wilde_1_1888_3 n117_a_wilde_1_1888_5 D n117_a_wilde_1_1888_4->n117_a_wilde_1_1888_5 n117_a_wilde_1_1888_7 N n117_a_wilde_1_1888_4->n117_a_wilde_1_1888_7 n117_a_wilde_1_1888_9 PP n117_a_wilde_1_1888_4->n117_a_wilde_1_1888_9 n117_a_wilde_1_1888_5->n117_a_wilde_1_1888_6 n117_a_wilde_1_1888_7->n117_a_wilde_1_1888_8 n117_a_wilde_1_1888_10 P-ROLE n117_a_wilde_1_1888_9->n117_a_wilde_1_1888_10 n117_a_wilde_1_1888_12 NP n117_a_wilde_1_1888_9->n117_a_wilde_1_1888_12 n117_a_wilde_1_1888_10->n117_a_wilde_1_1888_11 n117_a_wilde_1_1888_13 N n117_a_wilde_1_1888_12->n117_a_wilde_1_1888_13 n117_a_wilde_1_1888_13->n117_a_wilde_1_1888_14 n117_a_wilde_1_1888_15->n117_a_wilde_1_1888_16 n117_a_wilde_1_1888_17->n117_a_wilde_1_1888_18 
( (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))