Context                Previous, Next                Top


12_a_wilde_1_1888
“you have never seen one.”

%3 r_0012_0003__have have r_0012_0005__seen seen r_0012_0003__have->r_0012_0005__seen [scope] r_0012_0002__you you r_0012_0005__seen->r_0012_0002__you [arg0] r_0012_0004__never never r_0012_0005__seen->r_0012_0004__never [nim] r_0012_0006__one one r_0012_0005__seen->r_0012_0006__one [arg1] 
arc(r_0012_0003__have, r_0012_0005__seen, scope).
arc(r_0012_0005__seen, r_0012_0002__you, arg0).
arc(r_0012_0005__seen, r_0012_0004__never, nim10).
arc(r_0012_0005__seen, r_0012_0006__one, arg1).


%3 r_0012_0003__have_r_0012_0005__seen have seen r_0012_0002__you you r_0012_0003__have_r_0012_0005__seen->r_0012_0002__you [arg0] r_0012_0004__never never r_0012_0003__have_r_0012_0005__seen->r_0012_0004__never [nim] r_0012_0006__one one r_0012_0003__have_r_0012_0005__seen->r_0012_0006__one [arg1] 
fof(formula,axiom,
    ? [R_12_3_HAVE_SEEN,R_12_2_YOU,R_12_6_ONE,R_12_4_NEVER] :
      ( you(R_12_2_YOU)
      & one(R_12_6_ONE)
      & never(R_12_4_NEVER)
      & have_seen(R_12_3_HAVE_SEEN,R_12_2_YOU,R_12_6_ONE)
      & nim10(R_12_3_HAVE_SEEN,R_12_4_NEVER) ) ).


n12_a_wilde_1_1888 n12_a_wilde_1_1888_3 <ldquo> n12_a_wilde_1_1888_6 you n12_a_wilde_1_1888_8 have n12_a_wilde_1_1888_12 never n12_a_wilde_1_1888_14 seen n12_a_wilde_1_1888_17 one n12_a_wilde_1_1888_19 . n12_a_wilde_1_1888_21 <rdquo> n12_a_wilde_1_1888_1 IP-MAT n12_a_wilde_1_1888_2 PULQ n12_a_wilde_1_1888_1->n12_a_wilde_1_1888_2 n12_a_wilde_1_1888_4 NP-SBJ n12_a_wilde_1_1888_1->n12_a_wilde_1_1888_4 n12_a_wilde_1_1888_7 HVP;_cat_Ve_ n12_a_wilde_1_1888_1->n12_a_wilde_1_1888_7 n12_a_wilde_1_1888_9 IP-PPL-CAT n12_a_wilde_1_1888_1->n12_a_wilde_1_1888_9 n12_a_wilde_1_1888_18 PUNC n12_a_wilde_1_1888_1->n12_a_wilde_1_1888_18 n12_a_wilde_1_1888_20 PURQ n12_a_wilde_1_1888_1->n12_a_wilde_1_1888_20 n12_a_wilde_1_1888_2->n12_a_wilde_1_1888_3 n12_a_wilde_1_1888_5 PRO n12_a_wilde_1_1888_4->n12_a_wilde_1_1888_5 n12_a_wilde_1_1888_5->n12_a_wilde_1_1888_6 n12_a_wilde_1_1888_7->n12_a_wilde_1_1888_8 n12_a_wilde_1_1888_10 ADVP-NIM n12_a_wilde_1_1888_9->n12_a_wilde_1_1888_10 n12_a_wilde_1_1888_13 VVN;_Tn_ n12_a_wilde_1_1888_9->n12_a_wilde_1_1888_13 n12_a_wilde_1_1888_15 NP-OB1 n12_a_wilde_1_1888_9->n12_a_wilde_1_1888_15 n12_a_wilde_1_1888_11 ADV n12_a_wilde_1_1888_10->n12_a_wilde_1_1888_11 n12_a_wilde_1_1888_11->n12_a_wilde_1_1888_12 n12_a_wilde_1_1888_13->n12_a_wilde_1_1888_14 n12_a_wilde_1_1888_16 NUM n12_a_wilde_1_1888_15->n12_a_wilde_1_1888_16 n12_a_wilde_1_1888_16->n12_a_wilde_1_1888_17 n12_a_wilde_1_1888_18->n12_a_wilde_1_1888_19 n12_a_wilde_1_1888_20->n12_a_wilde_1_1888_21 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{PERSONS} (PRO you;{you}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV never;{never}))
                      (VVN;_Tn_ seen;{see})
                      (NP-OB1 (NUM one;{one})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 12_a_wilde_1_1888))