Context                Previous, Next                Top


140_a_wilde_1_1888
There is no fire in the grate, and hunger has made him faint.”

%3 r_0140_0001__There_r_0140_0002__is There is r_0140_0004__fire fire r_0140_0001__There_r_0140_0002__is->r_0140_0004__fire [arg0] r_0140_0006__the_r_0140_0007__grate the grate r_0140_0001__There_r_0140_0002__is->r_0140_0006__the_r_0140_0007__grate in [clr] r_0140_0003__no_quant no [quant] r_0140_0003__no_quant->r_0140_0001__There_r_0140_0002__is [scope] r_0140_0003__no_quant->r_0140_0004__fire [restriction] r_0140_0009__and and r_0140_0009__and->r_0140_0003__no_quant [conj1] r_0140_0011__has has r_0140_0009__and->r_0140_0011__has [conj2] r_0140_0012__made made r_0140_0011__has->r_0140_0012__made [scope] r_0140_0010__hunger hunger r_0140_0012__made->r_0140_0010__hunger [arg0] r_0140_0013__him him r_0140_0012__made->r_0140_0013__him [arg1] r_0140_0014__faint faint r_0140_0012__made->r_0140_0014__faint [prd] 
arc(r_0140_0001__There_r_0140_0002__is, r_0140_0004__fire, arg0).
arc(r_0140_0001__There_r_0140_0002__is, r_0140_0006__the_r_0140_0007__grate, r_0140_0005__in_clr16).
arc(r_0140_0003__no_quant, r_0140_0001__There_r_0140_0002__is, scope).
arc(r_0140_0003__no_quant, r_0140_0004__fire, restriction).
arc(r_0140_0009__and, r_0140_0003__no_quant, conj1).
arc(r_0140_0009__and, r_0140_0011__has, conj2).
arc(r_0140_0011__has, r_0140_0012__made, scope).
arc(r_0140_0012__made, r_0140_0010__hunger, arg0).
arc(r_0140_0012__made, r_0140_0013__him, arg1).
arc(r_0140_0012__made, r_0140_0014__faint, prd).


%3 r_0140_0011__has_r_0140_0012__made has made r_0140_0014__faint faint r_0140_0011__has_r_0140_0012__made->r_0140_0014__faint [prd] r_0140_0013__him him r_0140_0011__has_r_0140_0012__made->r_0140_0013__him [arg1] r_0140_0010__hunger hunger r_0140_0011__has_r_0140_0012__made->r_0140_0010__hunger [arg0] r_0140_0009__and and r_0140_0009__and->r_0140_0011__has_r_0140_0012__made [conj2] r_0140_0003__no_quant no [quant] r_0140_0009__and->r_0140_0003__no_quant [conj1] r_0140_0004__fire fire r_0140_0003__no_quant->r_0140_0004__fire [restriction] r_0140_0001__There_r_0140_0002__is There is r_0140_0003__no_quant->r_0140_0001__There_r_0140_0002__is [scope] r_0140_0001__There_r_0140_0002__is->r_0140_0004__fire [arg0] r_0140_0006__the_r_0140_0007__grate the grate r_0140_0001__There_r_0140_0002__is->r_0140_0006__the_r_0140_0007__grate in [clr] 
fof(formula,axiom,
    ? [R_0140_0010__HUNGER,R_0140_0013__HIM,R_0140_0014__FAINT,R_0140_0011__HAS_R_0140_0012__MADE,R_0140_0009__AND] :
      ( r_0140_0010__hunger(R_0140_0010__HUNGER)
      & r_0140_0013__him(R_0140_0013__HIM)
      & r_0140_0014__faint(R_0140_0014__FAINT)
      & r_0140_0009__and(R_0140_0009__AND)
      & has_conj2(R_0140_0009__AND,R_0140_0011__HAS_R_0140_0012__MADE)
      & r_0140_0011__has_r_0140_0012__made(R_0140_0011__HAS_R_0140_0012__MADE)
      & has_prd(R_0140_0011__HAS_R_0140_0012__MADE,R_0140_0014__FAINT)
      & has_arg1(R_0140_0011__HAS_R_0140_0012__MADE,R_0140_0013__HIM)
      & has_arg0(R_0140_0011__HAS_R_0140_0012__MADE,R_0140_0010__HUNGER)
      & ! [R_0140_0004__FIRE] :
          ( r_0140_0004__fire(R_0140_0004__FIRE)
         => ? [R_0140_0006__THE_R_0140_0007__GRATE,R_0140_0001__THERE_R_0140_0002__IS] :
              ( r_0140_0006__the_r_0140_0007__grate(R_0140_0006__THE_R_0140_0007__GRATE)
              & r_0140_0001__There_r_0140_0002__is(R_0140_0001__THERE_R_0140_0002__IS)
              & has_r_0140_0005__in_clr16(R_0140_0001__THERE_R_0140_0002__IS,R_0140_0006__THE_R_0140_0007__GRATE)
              & has_arg0(R_0140_0001__THERE_R_0140_0002__IS,R_0140_0004__FIRE) ) ) ) ).


n140_a_wilde_1_1888 n140_a_wilde_1_1888__1_1_1_1_1 There n140_a_wilde_1_1888__1_1_1_2_1 is n140_a_wilde_1_1888__1_1_1_3_1_1 no n140_a_wilde_1_1888__1_1_1_3_2_1 fire n140_a_wilde_1_1888__1_1_1_4_1_1 in n140_a_wilde_1_1888__1_1_1_4_2_1_1 the n140_a_wilde_1_1888__1_1_1_4_2_2_1 grate n140_a_wilde_1_1888__1_1_2_1 , n140_a_wilde_1_1888__1_1_3_1_1 and n140_a_wilde_1_1888__1_1_3_2_1_1_1 hunger n140_a_wilde_1_1888__1_1_3_2_2_1 has n140_a_wilde_1_1888__1_1_3_2_3_1_1 made n140_a_wilde_1_1888__1_1_3_2_3_2_1_1 him n140_a_wilde_1_1888__1_1_3_2_3_3_1_1 faint n140_a_wilde_1_1888__1_2_1 . n140_a_wilde_1_1888__1_3_1 <rdquo> n140_a_wilde_1_1888__1 IP-MAT n140_a_wilde_1_1888__1_1 ILYR n140_a_wilde_1_1888__1->n140_a_wilde_1_1888__1_1 n140_a_wilde_1_1888__1_2 PUNC n140_a_wilde_1_1888__1->n140_a_wilde_1_1888__1_2 n140_a_wilde_1_1888__1_3 PURQ n140_a_wilde_1_1888__1->n140_a_wilde_1_1888__1_3 n140_a_wilde_1_1888__1_1_1 ILYR n140_a_wilde_1_1888__1_1->n140_a_wilde_1_1888__1_1_1 n140_a_wilde_1_1888__1_1_2 PUNC n140_a_wilde_1_1888__1_1->n140_a_wilde_1_1888__1_1_2 n140_a_wilde_1_1888__1_1_3 CONJP n140_a_wilde_1_1888__1_1->n140_a_wilde_1_1888__1_1_3 n140_a_wilde_1_1888__1_1_1_1 EX n140_a_wilde_1_1888__1_1_1->n140_a_wilde_1_1888__1_1_1_1 n140_a_wilde_1_1888__1_1_1_2 BEP;_ex_Vpr_ n140_a_wilde_1_1888__1_1_1->n140_a_wilde_1_1888__1_1_1_2 n140_a_wilde_1_1888__1_1_1_3 NP-ESBJ n140_a_wilde_1_1888__1_1_1->n140_a_wilde_1_1888__1_1_1_3 n140_a_wilde_1_1888__1_1_1_4 PP-CLR n140_a_wilde_1_1888__1_1_1->n140_a_wilde_1_1888__1_1_1_4 n140_a_wilde_1_1888__1_1_1_1->n140_a_wilde_1_1888__1_1_1_1_1 n140_a_wilde_1_1888__1_1_1_2->n140_a_wilde_1_1888__1_1_1_2_1 n140_a_wilde_1_1888__1_1_1_3_1 Q n140_a_wilde_1_1888__1_1_1_3->n140_a_wilde_1_1888__1_1_1_3_1 n140_a_wilde_1_1888__1_1_1_3_2 N n140_a_wilde_1_1888__1_1_1_3->n140_a_wilde_1_1888__1_1_1_3_2 n140_a_wilde_1_1888__1_1_1_3_1->n140_a_wilde_1_1888__1_1_1_3_1_1 n140_a_wilde_1_1888__1_1_1_3_2->n140_a_wilde_1_1888__1_1_1_3_2_1 n140_a_wilde_1_1888__1_1_1_4_1 P-ROLE n140_a_wilde_1_1888__1_1_1_4->n140_a_wilde_1_1888__1_1_1_4_1 n140_a_wilde_1_1888__1_1_1_4_2 NP n140_a_wilde_1_1888__1_1_1_4->n140_a_wilde_1_1888__1_1_1_4_2 n140_a_wilde_1_1888__1_1_1_4_1->n140_a_wilde_1_1888__1_1_1_4_1_1 n140_a_wilde_1_1888__1_1_1_4_2_1 D n140_a_wilde_1_1888__1_1_1_4_2->n140_a_wilde_1_1888__1_1_1_4_2_1 n140_a_wilde_1_1888__1_1_1_4_2_2 N n140_a_wilde_1_1888__1_1_1_4_2->n140_a_wilde_1_1888__1_1_1_4_2_2 n140_a_wilde_1_1888__1_1_1_4_2_1->n140_a_wilde_1_1888__1_1_1_4_2_1_1 n140_a_wilde_1_1888__1_1_1_4_2_2->n140_a_wilde_1_1888__1_1_1_4_2_2_1 n140_a_wilde_1_1888__1_1_2->n140_a_wilde_1_1888__1_1_2_1 n140_a_wilde_1_1888__1_1_3_1 CONJ n140_a_wilde_1_1888__1_1_3->n140_a_wilde_1_1888__1_1_3_1 n140_a_wilde_1_1888__1_1_3_2 ILYR n140_a_wilde_1_1888__1_1_3->n140_a_wilde_1_1888__1_1_3_2 n140_a_wilde_1_1888__1_1_3_1->n140_a_wilde_1_1888__1_1_3_1_1 n140_a_wilde_1_1888__1_1_3_2_1 NP-SBJ n140_a_wilde_1_1888__1_1_3_2->n140_a_wilde_1_1888__1_1_3_2_1 n140_a_wilde_1_1888__1_1_3_2_2 HVP;_cat_Ve_ n140_a_wilde_1_1888__1_1_3_2->n140_a_wilde_1_1888__1_1_3_2_2 n140_a_wilde_1_1888__1_1_3_2_3 IP-PPL-CAT n140_a_wilde_1_1888__1_1_3_2->n140_a_wilde_1_1888__1_1_3_2_3 n140_a_wilde_1_1888__1_1_3_2_1_1 N n140_a_wilde_1_1888__1_1_3_2_1->n140_a_wilde_1_1888__1_1_3_2_1_1 n140_a_wilde_1_1888__1_1_3_2_1_1->n140_a_wilde_1_1888__1_1_3_2_1_1_1 n140_a_wilde_1_1888__1_1_3_2_2->n140_a_wilde_1_1888__1_1_3_2_2_1 n140_a_wilde_1_1888__1_1_3_2_3_1 VVN;_Cn.a_ n140_a_wilde_1_1888__1_1_3_2_3->n140_a_wilde_1_1888__1_1_3_2_3_1 n140_a_wilde_1_1888__1_1_3_2_3_2 NP-OB1 n140_a_wilde_1_1888__1_1_3_2_3->n140_a_wilde_1_1888__1_1_3_2_3_2 n140_a_wilde_1_1888__1_1_3_2_3_3 ADJP-PRD n140_a_wilde_1_1888__1_1_3_2_3->n140_a_wilde_1_1888__1_1_3_2_3_3 n140_a_wilde_1_1888__1_1_3_2_3_1->n140_a_wilde_1_1888__1_1_3_2_3_1_1 n140_a_wilde_1_1888__1_1_3_2_3_2_1 PRO n140_a_wilde_1_1888__1_1_3_2_3_2->n140_a_wilde_1_1888__1_1_3_2_3_2_1 n140_a_wilde_1_1888__1_1_3_2_3_2_1->n140_a_wilde_1_1888__1_1_3_2_3_2_1_1 n140_a_wilde_1_1888__1_1_3_2_3_3_1 ADJ n140_a_wilde_1_1888__1_1_3_2_3_3->n140_a_wilde_1_1888__1_1_3_2_3_3_1 n140_a_wilde_1_1888__1_1_3_2_3_3_1->n140_a_wilde_1_1888__1_1_3_2_3_3_1_1 n140_a_wilde_1_1888__1_2->n140_a_wilde_1_1888__1_2_1 n140_a_wilde_1_1888__1_3->n140_a_wilde_1_1888__1_3_1 
( (IP-MAT (ILYR (ILYR (EX There;{there})
                      (BEP;_ex_Vpr_ is;{be})
                      (NP-ESBJ (Q no;{no})
                               (N fire;{fire}))
                      (PP-CLR (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N grate;{grate}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (N hunger;{hunger}))
                             (HVP;_cat_Ve_ has;{have})
                             (IP-PPL-CAT (VVN;_Cn.a_ made;{make})
                                         (NP-OB1;{WRITER} (PRO him;{he}))
                                         (ADJP-PRD (ADJ faint;{faint}))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 140_a_wilde_1_1888))