Context                Previous, Next                Top


175_a_wilde_1_1888
She has no shoes or stockings, and her little head is bare.

%3 r_0175_0002__has has r_0175_0001__She She r_0175_0002__has->r_0175_0001__She [arg0] r_0175_0005__or or r_0175_0002__has->r_0175_0005__or [arg1] r_0175_0004__shoes shoes r_0175_0005__or->r_0175_0004__shoes [conj1] r_0175_0006__stockings stockings r_0175_0005__or->r_0175_0006__stockings [conj2] r_0175_0003__no_quant no [quant] r_0175_0003__no_quant->r_0175_0002__has [scope] r_0175_0003__no_quant->r_0175_0005__or [restriction] r_0175_0008__and and r_0175_0008__and->r_0175_0003__no_quant [conj1] r_0175_0012__is is r_0175_0008__and->r_0175_0012__is [conj2] r_0175_0011__head head r_0175_0012__is->r_0175_0011__head [arg0] r_0175_0013__bare bare r_0175_0012__is->r_0175_0013__bare [prd] r_0175_0009__her her r_0175_0011__head->r_0175_0009__her [gen] r_0175_0010__little little r_0175_0011__head->r_0175_0010__little [attrib] 
arc(r_0175_0002__has, r_0175_0001__She, arg0).
arc(r_0175_0002__has, r_0175_0005__or, arg1).
arc(r_0175_0003__no_quant, r_0175_0002__has, scope).
arc(r_0175_0003__no_quant, r_0175_0005__or, restriction).
arc(r_0175_0005__or, r_0175_0004__shoes, conj1).
arc(r_0175_0005__or, r_0175_0006__stockings, conj2).
arc(r_0175_0008__and, r_0175_0003__no_quant, conj1).
arc(r_0175_0008__and, r_0175_0012__is, conj2).
arc(r_0175_0011__head, r_0175_0009__her, gen).
arc(r_0175_0011__head, r_0175_0010__little, attrib32).
arc(r_0175_0012__is, r_0175_0011__head, arg0).
arc(r_0175_0012__is, r_0175_0013__bare, prd).


%3 r_0175_0002__has has r_0175_0001__She She r_0175_0002__has->r_0175_0001__She [arg0] r_0175_0005__or or r_0175_0002__has->r_0175_0005__or [arg1] r_0175_0004__shoes shoes r_0175_0005__or->r_0175_0004__shoes [conj1] r_0175_0006__stockings stockings r_0175_0005__or->r_0175_0006__stockings [conj2] r_0175_0003__no_quant no [quant] r_0175_0003__no_quant->r_0175_0002__has [scope] r_0175_0003__no_quant->r_0175_0005__or [restriction] r_0175_0008__and and r_0175_0008__and->r_0175_0003__no_quant [conj1] r_0175_0012__is is r_0175_0008__and->r_0175_0012__is [conj2] r_0175_0011__head head r_0175_0012__is->r_0175_0011__head [arg0] r_0175_0013__bare bare r_0175_0012__is->r_0175_0013__bare [prd] r_0175_0009__her her r_0175_0011__head->r_0175_0009__her [gen] r_0175_0010__little little r_0175_0011__head->r_0175_0010__little [attrib] 
fof(formula,axiom,
    ? [R_175_8_AND,R_175_12_IS,R_175_11_HEAD,R_175_10_LITTLE,R_175_9_HER,R_175_13_BARE] :
      ( little(R_175_10_LITTLE)
      & her(R_175_9_HER)
      & bare(R_175_13_BARE)
      & ! [R_175_5_OR,R_175_4_SHOES,R_175_6_STOCKINGS] :
          ( ( shoes(R_175_4_SHOES)
            & stockings(R_175_6_STOCKINGS)
            & or(R_175_5_OR)
            & conj1(R_175_5_OR,R_175_4_SHOES)
            & conj2(R_175_5_OR,R_175_6_STOCKINGS) )
         => ? [R_175_2_HAS,R_175_1_SHE] :
              ( she(R_175_1_SHE)
              & has(R_175_2_HAS,R_175_1_SHE,R_175_5_OR) ) )
      & conj1(CONJ1)
      & and(R_175_8_AND)
      & conj2(R_175_8_AND,R_175_12_IS)
      & is(R_175_12_IS,R_175_11_HEAD,R_175_13_BARE)
      & head(R_175_11_HEAD)
      & attrib32(R_175_11_HEAD,R_175_10_LITTLE)
      & gen(R_175_11_HEAD,R_175_9_HER) ) ).


n175_a_wilde_1_1888 n175_a_wilde_1_1888_6 She n175_a_wilde_1_1888_8 has n175_a_wilde_1_1888_11 no n175_a_wilde_1_1888_15 shoes n175_a_wilde_1_1888_18 or n175_a_wilde_1_1888_21 stockings n175_a_wilde_1_1888_23 , n175_a_wilde_1_1888_26 and n175_a_wilde_1_1888_31 her n175_a_wilde_1_1888_34 little n175_a_wilde_1_1888_36 head n175_a_wilde_1_1888_38 is n175_a_wilde_1_1888_41 bare n175_a_wilde_1_1888_43 . n175_a_wilde_1_1888_1 IP-MAT n175_a_wilde_1_1888_2 ILYR n175_a_wilde_1_1888_1->n175_a_wilde_1_1888_2 n175_a_wilde_1_1888_42 PUNC n175_a_wilde_1_1888_1->n175_a_wilde_1_1888_42 n175_a_wilde_1_1888_3 ILYR n175_a_wilde_1_1888_2->n175_a_wilde_1_1888_3 n175_a_wilde_1_1888_22 PUNC n175_a_wilde_1_1888_2->n175_a_wilde_1_1888_22 n175_a_wilde_1_1888_24 CONJP n175_a_wilde_1_1888_2->n175_a_wilde_1_1888_24 n175_a_wilde_1_1888_4 NP-SBJ n175_a_wilde_1_1888_3->n175_a_wilde_1_1888_4 n175_a_wilde_1_1888_7 HVP;_Tn_ n175_a_wilde_1_1888_3->n175_a_wilde_1_1888_7 n175_a_wilde_1_1888_9 NP-OB1 n175_a_wilde_1_1888_3->n175_a_wilde_1_1888_9 n175_a_wilde_1_1888_5 PRO n175_a_wilde_1_1888_4->n175_a_wilde_1_1888_5 n175_a_wilde_1_1888_5->n175_a_wilde_1_1888_6 n175_a_wilde_1_1888_7->n175_a_wilde_1_1888_8 n175_a_wilde_1_1888_10 Q n175_a_wilde_1_1888_9->n175_a_wilde_1_1888_10 n175_a_wilde_1_1888_12 NLYR n175_a_wilde_1_1888_9->n175_a_wilde_1_1888_12 n175_a_wilde_1_1888_10->n175_a_wilde_1_1888_11 n175_a_wilde_1_1888_13 NLYR n175_a_wilde_1_1888_12->n175_a_wilde_1_1888_13 n175_a_wilde_1_1888_16 CONJP n175_a_wilde_1_1888_12->n175_a_wilde_1_1888_16 n175_a_wilde_1_1888_14 NS n175_a_wilde_1_1888_13->n175_a_wilde_1_1888_14 n175_a_wilde_1_1888_14->n175_a_wilde_1_1888_15 n175_a_wilde_1_1888_17 CONJ n175_a_wilde_1_1888_16->n175_a_wilde_1_1888_17 n175_a_wilde_1_1888_19 NLYR n175_a_wilde_1_1888_16->n175_a_wilde_1_1888_19 n175_a_wilde_1_1888_17->n175_a_wilde_1_1888_18 n175_a_wilde_1_1888_20 NS n175_a_wilde_1_1888_19->n175_a_wilde_1_1888_20 n175_a_wilde_1_1888_20->n175_a_wilde_1_1888_21 n175_a_wilde_1_1888_22->n175_a_wilde_1_1888_23 n175_a_wilde_1_1888_25 CONJ n175_a_wilde_1_1888_24->n175_a_wilde_1_1888_25 n175_a_wilde_1_1888_27 ILYR n175_a_wilde_1_1888_24->n175_a_wilde_1_1888_27 n175_a_wilde_1_1888_25->n175_a_wilde_1_1888_26 n175_a_wilde_1_1888_28 NP-SBJ n175_a_wilde_1_1888_27->n175_a_wilde_1_1888_28 n175_a_wilde_1_1888_37 BEP;_La_ n175_a_wilde_1_1888_27->n175_a_wilde_1_1888_37 n175_a_wilde_1_1888_39 ADJP-PRD n175_a_wilde_1_1888_27->n175_a_wilde_1_1888_39 n175_a_wilde_1_1888_29 NP-GEN n175_a_wilde_1_1888_28->n175_a_wilde_1_1888_29 n175_a_wilde_1_1888_32 ADJP n175_a_wilde_1_1888_28->n175_a_wilde_1_1888_32 n175_a_wilde_1_1888_35 N n175_a_wilde_1_1888_28->n175_a_wilde_1_1888_35 n175_a_wilde_1_1888_30 PRO;_genm_ n175_a_wilde_1_1888_29->n175_a_wilde_1_1888_30 n175_a_wilde_1_1888_30->n175_a_wilde_1_1888_31 n175_a_wilde_1_1888_33 ADJ n175_a_wilde_1_1888_32->n175_a_wilde_1_1888_33 n175_a_wilde_1_1888_33->n175_a_wilde_1_1888_34 n175_a_wilde_1_1888_35->n175_a_wilde_1_1888_36 n175_a_wilde_1_1888_37->n175_a_wilde_1_1888_38 n175_a_wilde_1_1888_40 ADJ n175_a_wilde_1_1888_39->n175_a_wilde_1_1888_40 n175_a_wilde_1_1888_40->n175_a_wilde_1_1888_41 n175_a_wilde_1_1888_42->n175_a_wilde_1_1888_43 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{MATCH_GIRL} (PRO She;{she}))
                      (HVP;_Tn_ has;{have})
                      (NP-OB1 (Q no;{no})
                              (NLYR (NLYR (NS shoes;{shoe}))
                                    (CONJP (CONJ or;{or})
                                           (NLYR (NS stockings;{stocking}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NP-GEN;{MATCH_GIRL} (PRO;_genm_ her;{her}))
                                     (ADJP (ADJ little;{little}))
                                     (N head;{head}))
                             (BEP;_La_ is;{be})
                             (ADJP-PRD (ADJ bare;{bare})))))
          (PUNC .))
  (ID 175_a_wilde_1_1888))