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_0012__is is r_0175_0013__bare bare r_0175_0012__is->r_0175_0013__bare [prd] r_0175_0011__head head r_0175_0012__is->r_0175_0011__head [arg0] r_0175_0010__little little r_0175_0011__head->r_0175_0010__little [attrib] r_0175_0009__her her r_0175_0011__head->r_0175_0009__her [gen] r_0175_0008__and and r_0175_0008__and->r_0175_0012__is [conj2] r_0175_0003__no_quant no [quant] r_0175_0008__and->r_0175_0003__no_quant [conj1] r_0175_0005__or or r_0175_0003__no_quant->r_0175_0005__or [restriction] r_0175_0002__has has r_0175_0003__no_quant->r_0175_0002__has [scope] r_0175_0006__stockings stockings r_0175_0005__or->r_0175_0006__stockings [conj2] r_0175_0004__shoes shoes r_0175_0005__or->r_0175_0004__shoes [conj1] r_0175_0002__has->r_0175_0005__or [arg1] r_0175_0001__She She r_0175_0002__has->r_0175_0001__She [arg0] 
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__1_1_1_1_1_1 She n175_a_wilde_1_1888__1_1_1_2_1 has n175_a_wilde_1_1888__1_1_1_3_1_1 no n175_a_wilde_1_1888__1_1_1_3_2_1_1_1 shoes n175_a_wilde_1_1888__1_1_1_3_2_2_1_1 or n175_a_wilde_1_1888__1_1_1_3_2_2_2_1_1 stockings n175_a_wilde_1_1888__1_1_2_1 , n175_a_wilde_1_1888__1_1_3_1_1 and n175_a_wilde_1_1888__1_1_3_2_1_1_1_1 her n175_a_wilde_1_1888__1_1_3_2_1_2_1_1 little n175_a_wilde_1_1888__1_1_3_2_1_3_1 head n175_a_wilde_1_1888__1_1_3_2_2_1 is n175_a_wilde_1_1888__1_1_3_2_3_1_1 bare n175_a_wilde_1_1888__1_2_1 . n175_a_wilde_1_1888__1 IP-MAT n175_a_wilde_1_1888__1_1 ILYR n175_a_wilde_1_1888__1->n175_a_wilde_1_1888__1_1 n175_a_wilde_1_1888__1_2 PUNC n175_a_wilde_1_1888__1->n175_a_wilde_1_1888__1_2 n175_a_wilde_1_1888__1_1_1 ILYR n175_a_wilde_1_1888__1_1->n175_a_wilde_1_1888__1_1_1 n175_a_wilde_1_1888__1_1_2 PUNC n175_a_wilde_1_1888__1_1->n175_a_wilde_1_1888__1_1_2 n175_a_wilde_1_1888__1_1_3 CONJP n175_a_wilde_1_1888__1_1->n175_a_wilde_1_1888__1_1_3 n175_a_wilde_1_1888__1_1_1_1 NP-SBJ n175_a_wilde_1_1888__1_1_1->n175_a_wilde_1_1888__1_1_1_1 n175_a_wilde_1_1888__1_1_1_2 HVP;_Tn_ n175_a_wilde_1_1888__1_1_1->n175_a_wilde_1_1888__1_1_1_2 n175_a_wilde_1_1888__1_1_1_3 NP-OB1 n175_a_wilde_1_1888__1_1_1->n175_a_wilde_1_1888__1_1_1_3 n175_a_wilde_1_1888__1_1_1_1_1 PRO n175_a_wilde_1_1888__1_1_1_1->n175_a_wilde_1_1888__1_1_1_1_1 n175_a_wilde_1_1888__1_1_1_1_1->n175_a_wilde_1_1888__1_1_1_1_1_1 n175_a_wilde_1_1888__1_1_1_2->n175_a_wilde_1_1888__1_1_1_2_1 n175_a_wilde_1_1888__1_1_1_3_1 Q n175_a_wilde_1_1888__1_1_1_3->n175_a_wilde_1_1888__1_1_1_3_1 n175_a_wilde_1_1888__1_1_1_3_2 NLYR n175_a_wilde_1_1888__1_1_1_3->n175_a_wilde_1_1888__1_1_1_3_2 n175_a_wilde_1_1888__1_1_1_3_1->n175_a_wilde_1_1888__1_1_1_3_1_1 n175_a_wilde_1_1888__1_1_1_3_2_1 NLYR n175_a_wilde_1_1888__1_1_1_3_2->n175_a_wilde_1_1888__1_1_1_3_2_1 n175_a_wilde_1_1888__1_1_1_3_2_2 CONJP n175_a_wilde_1_1888__1_1_1_3_2->n175_a_wilde_1_1888__1_1_1_3_2_2 n175_a_wilde_1_1888__1_1_1_3_2_1_1 NS n175_a_wilde_1_1888__1_1_1_3_2_1->n175_a_wilde_1_1888__1_1_1_3_2_1_1 n175_a_wilde_1_1888__1_1_1_3_2_1_1->n175_a_wilde_1_1888__1_1_1_3_2_1_1_1 n175_a_wilde_1_1888__1_1_1_3_2_2_1 CONJ n175_a_wilde_1_1888__1_1_1_3_2_2->n175_a_wilde_1_1888__1_1_1_3_2_2_1 n175_a_wilde_1_1888__1_1_1_3_2_2_2 NLYR n175_a_wilde_1_1888__1_1_1_3_2_2->n175_a_wilde_1_1888__1_1_1_3_2_2_2 n175_a_wilde_1_1888__1_1_1_3_2_2_1->n175_a_wilde_1_1888__1_1_1_3_2_2_1_1 n175_a_wilde_1_1888__1_1_1_3_2_2_2_1 NS n175_a_wilde_1_1888__1_1_1_3_2_2_2->n175_a_wilde_1_1888__1_1_1_3_2_2_2_1 n175_a_wilde_1_1888__1_1_1_3_2_2_2_1->n175_a_wilde_1_1888__1_1_1_3_2_2_2_1_1 n175_a_wilde_1_1888__1_1_2->n175_a_wilde_1_1888__1_1_2_1 n175_a_wilde_1_1888__1_1_3_1 CONJ n175_a_wilde_1_1888__1_1_3->n175_a_wilde_1_1888__1_1_3_1 n175_a_wilde_1_1888__1_1_3_2 ILYR n175_a_wilde_1_1888__1_1_3->n175_a_wilde_1_1888__1_1_3_2 n175_a_wilde_1_1888__1_1_3_1->n175_a_wilde_1_1888__1_1_3_1_1 n175_a_wilde_1_1888__1_1_3_2_1 NP-SBJ n175_a_wilde_1_1888__1_1_3_2->n175_a_wilde_1_1888__1_1_3_2_1 n175_a_wilde_1_1888__1_1_3_2_2 BEP;_La_ n175_a_wilde_1_1888__1_1_3_2->n175_a_wilde_1_1888__1_1_3_2_2 n175_a_wilde_1_1888__1_1_3_2_3 ADJP-PRD n175_a_wilde_1_1888__1_1_3_2->n175_a_wilde_1_1888__1_1_3_2_3 n175_a_wilde_1_1888__1_1_3_2_1_1 NP-GEN n175_a_wilde_1_1888__1_1_3_2_1->n175_a_wilde_1_1888__1_1_3_2_1_1 n175_a_wilde_1_1888__1_1_3_2_1_2 ADJP n175_a_wilde_1_1888__1_1_3_2_1->n175_a_wilde_1_1888__1_1_3_2_1_2 n175_a_wilde_1_1888__1_1_3_2_1_3 N n175_a_wilde_1_1888__1_1_3_2_1->n175_a_wilde_1_1888__1_1_3_2_1_3 n175_a_wilde_1_1888__1_1_3_2_1_1_1 PRO;_genm_ n175_a_wilde_1_1888__1_1_3_2_1_1->n175_a_wilde_1_1888__1_1_3_2_1_1_1 n175_a_wilde_1_1888__1_1_3_2_1_1_1->n175_a_wilde_1_1888__1_1_3_2_1_1_1_1 n175_a_wilde_1_1888__1_1_3_2_1_2_1 ADJ n175_a_wilde_1_1888__1_1_3_2_1_2->n175_a_wilde_1_1888__1_1_3_2_1_2_1 n175_a_wilde_1_1888__1_1_3_2_1_2_1->n175_a_wilde_1_1888__1_1_3_2_1_2_1_1 n175_a_wilde_1_1888__1_1_3_2_1_3->n175_a_wilde_1_1888__1_1_3_2_1_3_1 n175_a_wilde_1_1888__1_1_3_2_2->n175_a_wilde_1_1888__1_1_3_2_2_1 n175_a_wilde_1_1888__1_1_3_2_3_1 ADJ n175_a_wilde_1_1888__1_1_3_2_3->n175_a_wilde_1_1888__1_1_3_2_3_1 n175_a_wilde_1_1888__1_1_3_2_3_1->n175_a_wilde_1_1888__1_1_3_2_3_1_1 n175_a_wilde_1_1888__1_2->n175_a_wilde_1_1888__1_2_1 
( (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))