Context                Previous, Next                Top


56_a_paulfellows
Those little sensors have all got a small processor with 5K RAM and 128K ROM and they don't half look like these inside as well.

%3 r_0056_0001__Those_r_0056_0003__sensors Those sensors r_0056_0002__little little r_0056_0001__Those_r_0056_0003__sensors->r_0056_0002__little [attrib] r_0056_0004__have have r_0056_0006__got got r_0056_0004__have->r_0056_0006__got [scope] r_0056_0006__got->r_0056_0001__Those_r_0056_0003__sensors [arg0] r_0056_0005__all all r_0056_0006__got->r_0056_0005__all [nim] r_0056_0007__a_r_0056_0009__processor a processor r_0056_0006__got->r_0056_0007__a_r_0056_0009__processor [arg1] r_0056_0008__small small r_0056_0007__a_r_0056_0009__processor->r_0056_0008__small [attrib] r_0056_0013__and and r_0056_0007__a_r_0056_0009__processor->r_0056_0013__and with r_0056_0011__5K_r_0056_0012__RAM 5K RAM r_0056_0013__and->r_0056_0011__5K_r_0056_0012__RAM [conj1] r_0056_0014__128K_r_0056_0015__ROM 128K ROM r_0056_0013__and->r_0056_0014__128K_r_0056_0015__ROM [conj2] r_0056_0016__and and r_0056_0016__and->r_0056_0004__have [conj1] r_0056_0019__n_apos_t n't r_0056_0016__and->r_0056_0019__n_apos_t [conj2] r_0056_0018__do_r_0056_0021__look do look r_0056_0019__n_apos_t->r_0056_0018__do_r_0056_0021__look [keep_scope] r_0056_0018__do_r_0056_0021__look->r_0056_0014__128K_r_0056_0015__ROM [arg0] r_0056_0020__half half r_0056_0018__do_r_0056_0021__look->r_0056_0020__half [nim] r_0056_0023__these these r_0056_0018__do_r_0056_0021__look->r_0056_0023__these like [clr] r_0056_0024__inside inside r_0056_0018__do_r_0056_0021__look->r_0056_0024__inside [nim] r_0056_0025__as_well as well r_0056_0018__do_r_0056_0021__look->r_0056_0025__as_well [nim] 
arc(r_0056_0001__Those_r_0056_0003__sensors, r_0056_0002__little, attrib7).
arc(r_0056_0004__have, r_0056_0006__got, scope).
arc(r_0056_0006__got, r_0056_0001__Those_r_0056_0003__sensors, arg0).
arc(r_0056_0006__got, r_0056_0005__all, nim15).
arc(r_0056_0006__got, r_0056_0007__a_r_0056_0009__processor, arg1).
arc(r_0056_0007__a_r_0056_0009__processor, r_0056_0008__small, attrib23).
arc(r_0056_0007__a_r_0056_0009__processor, r_0056_0013__and, r_0056_0010__with).
arc(r_0056_0013__and, r_0056_0011__5K_r_0056_0012__RAM, conj1).
arc(r_0056_0013__and, r_0056_0014__128K_r_0056_0015__ROM, conj2).
arc(r_0056_0016__and, r_0056_0004__have, conj1).
arc(r_0056_0016__and, r_0056_0019__n_apos_t, conj2).
arc(r_0056_0018__do_r_0056_0021__look, r_0056_0014__128K_r_0056_0015__ROM, arg0).
arc(r_0056_0018__do_r_0056_0021__look, r_0056_0020__half, nim57).
arc(r_0056_0018__do_r_0056_0021__look, r_0056_0023__these, r_0056_0022__like_clr65).
arc(r_0056_0018__do_r_0056_0021__look, r_0056_0024__inside, nim68).
arc(r_0056_0018__do_r_0056_0021__look, r_0056_0025__as_well, nim71).
arc(r_0056_0019__n_apos_t, r_0056_0018__do_r_0056_0021__look, keep_scope).


%3 r_0056_0019__n_apos_t n't r_0056_0018__do_r_0056_0021__look do look r_0056_0019__n_apos_t->r_0056_0018__do_r_0056_0021__look [keep_scope] r_0056_0025__as_well as well r_0056_0018__do_r_0056_0021__look->r_0056_0025__as_well [nim] r_0056_0024__inside inside r_0056_0018__do_r_0056_0021__look->r_0056_0024__inside [nim] r_0056_0023__these these r_0056_0018__do_r_0056_0021__look->r_0056_0023__these like [clr] r_0056_0020__half half r_0056_0018__do_r_0056_0021__look->r_0056_0020__half [nim] r_0056_0014__128K_r_0056_0015__ROM 128K ROM r_0056_0018__do_r_0056_0021__look->r_0056_0014__128K_r_0056_0015__ROM [arg0] r_0056_0016__and and r_0056_0016__and->r_0056_0019__n_apos_t [conj2] r_0056_0004__have_r_0056_0006__got have got r_0056_0016__and->r_0056_0004__have_r_0056_0006__got [conj1] r_0056_0007__a_r_0056_0009__processor a processor r_0056_0004__have_r_0056_0006__got->r_0056_0007__a_r_0056_0009__processor [arg1] r_0056_0005__all all r_0056_0004__have_r_0056_0006__got->r_0056_0005__all [nim] r_0056_0001__Those_r_0056_0003__sensors Those sensors r_0056_0004__have_r_0056_0006__got->r_0056_0001__Those_r_0056_0003__sensors [arg0] r_0056_0013__and and r_0056_0013__and->r_0056_0014__128K_r_0056_0015__ROM [conj2] r_0056_0011__5K_r_0056_0012__RAM 5K RAM r_0056_0013__and->r_0056_0011__5K_r_0056_0012__RAM [conj1] r_0056_0007__a_r_0056_0009__processor->r_0056_0013__and with r_0056_0008__small small r_0056_0007__a_r_0056_0009__processor->r_0056_0008__small [attrib] r_0056_0002__little little r_0056_0001__Those_r_0056_0003__sensors->r_0056_0002__little [attrib] 
fof(formula,axiom,
    ? [R_0056_0002__LITTLE,R_0056_0001__THOSE_R_0056_0003__SENSORS,R_0056_0005__ALL,R_0056_0008__SMALL,R_0056_0011__5K_R_0056_0012__RAM,R_0056_0014__128K_R_0056_0015__ROM,R_0056_0013__AND,R_0056_0007__A_R_0056_0009__PROCESSOR,R_0056_0004__HAVE_R_0056_0006__GOT,R_0056_0016__AND] :
      ( r_0056_0002__little(R_0056_0002__LITTLE)
      & r_0056_0005__all(R_0056_0005__ALL)
      & r_0056_0008__small(R_0056_0008__SMALL)
      & r_0056_0011__5K_r_0056_0012__RAM(R_0056_0011__5K_R_0056_0012__RAM)
      & r_0056_0014__128K_r_0056_0015__ROM(R_0056_0014__128K_R_0056_0015__ROM)
      & r_0056_0016__and(R_0056_0016__AND)
      & has_conj2(R_0056_0016__AND,R_0056_0019__N_APOS_T)
      & ~ ? [R_0056_0020__HALF,R_0056_0023__THESE,R_0056_0024__INSIDE,R_0056_0025__AS_WELL,R_0056_0018__DO_R_0056_0021__LOOK] :
            ( r_0056_0020__half(R_0056_0020__HALF)
            & r_0056_0023__these(R_0056_0023__THESE)
            & r_0056_0024__inside(R_0056_0024__INSIDE)
            & r_0056_0025__as_well(R_0056_0025__AS_WELL)
            & r_0056_0018__do_r_0056_0021__look(R_0056_0018__DO_R_0056_0021__LOOK)
            & has_nim71(R_0056_0018__DO_R_0056_0021__LOOK,R_0056_0025__AS_WELL)
            & has_nim68(R_0056_0018__DO_R_0056_0021__LOOK,R_0056_0024__INSIDE)
            & has_r_0056_0022__like_clr65(R_0056_0018__DO_R_0056_0021__LOOK,R_0056_0023__THESE)
            & has_nim57(R_0056_0018__DO_R_0056_0021__LOOK,R_0056_0020__HALF)
            & has_arg0(R_0056_0018__DO_R_0056_0021__LOOK,R_0056_0014__128K_R_0056_0015__ROM) )
      & has_conj1(R_0056_0016__AND,R_0056_0004__HAVE_R_0056_0006__GOT)
      & r_0056_0004__have_r_0056_0006__got(R_0056_0004__HAVE_R_0056_0006__GOT)
      & has_arg1(R_0056_0004__HAVE_R_0056_0006__GOT,R_0056_0007__A_R_0056_0009__PROCESSOR)
      & r_0056_0007__a_r_0056_0009__processor(R_0056_0007__A_R_0056_0009__PROCESSOR)
      & has_r_0056_0010__with(R_0056_0007__A_R_0056_0009__PROCESSOR,R_0056_0013__AND)
      & r_0056_0013__and(R_0056_0013__AND)
      & has_conj2(R_0056_0013__AND,R_0056_0014__128K_R_0056_0015__ROM)
      & has_conj1(R_0056_0013__AND,R_0056_0011__5K_R_0056_0012__RAM)
      & has_attrib23(R_0056_0007__A_R_0056_0009__PROCESSOR,R_0056_0008__SMALL)
      & has_nim15(R_0056_0004__HAVE_R_0056_0006__GOT,R_0056_0005__ALL)
      & has_arg0(R_0056_0004__HAVE_R_0056_0006__GOT,R_0056_0001__THOSE_R_0056_0003__SENSORS)
      & r_0056_0001__Those_r_0056_0003__sensors(R_0056_0001__THOSE_R_0056_0003__SENSORS)
      & has_attrib7(R_0056_0001__THOSE_R_0056_0003__SENSORS,R_0056_0002__LITTLE) ) ).


n56_a_paulfellows n56_a_paulfellows__1_1_1_1_1_1 Those n56_a_paulfellows__1_1_1_1_2_1_1 little n56_a_paulfellows__1_1_1_1_3_1 sensors n56_a_paulfellows__1_1_1_2_1 have n56_a_paulfellows__1_1_1_3_1_1_1 all n56_a_paulfellows__1_1_1_3_2_1 got n56_a_paulfellows__1_1_1_3_3_1_1 a n56_a_paulfellows__1_1_1_3_3_2_1_1 small n56_a_paulfellows__1_1_1_3_3_3_1 processor n56_a_paulfellows__1_1_1_3_3_4_1_1 with n56_a_paulfellows__1_1_1_3_3_4_2_1_1_1_1 5K n56_a_paulfellows__1_1_1_3_3_4_2_1_1_2_1 RAM n56_a_paulfellows__1_1_1_3_3_4_2_1_2_1_1 and n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2_1_1 128K n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2_2_1 ROM n56_a_paulfellows__1_1_2_1_1 and n56_a_paulfellows__1_1_2_2_1_1_1 they n56_a_paulfellows__1_1_2_2_2_1 do n56_a_paulfellows__1_1_2_2_3_1 n't n56_a_paulfellows__1_1_2_2_4_1_1 half n56_a_paulfellows__1_1_2_2_5_1 look n56_a_paulfellows__1_1_2_2_6_1_1 like n56_a_paulfellows__1_1_2_2_6_2_1_1 these n56_a_paulfellows__1_1_2_2_7_1_1 inside n56_a_paulfellows__1_1_2_2_8_1_1 as_well n56_a_paulfellows__1_2_1 . n56_a_paulfellows__1 IP-MAT n56_a_paulfellows__1_1 ILYR n56_a_paulfellows__1->n56_a_paulfellows__1_1 n56_a_paulfellows__1_2 PUNC n56_a_paulfellows__1->n56_a_paulfellows__1_2 n56_a_paulfellows__1_1_1 ILYR n56_a_paulfellows__1_1->n56_a_paulfellows__1_1_1 n56_a_paulfellows__1_1_2 CONJP n56_a_paulfellows__1_1->n56_a_paulfellows__1_1_2 n56_a_paulfellows__1_1_1_1 NP-SBJ n56_a_paulfellows__1_1_1->n56_a_paulfellows__1_1_1_1 n56_a_paulfellows__1_1_1_2 HVP;_cat_Ve_ n56_a_paulfellows__1_1_1->n56_a_paulfellows__1_1_1_2 n56_a_paulfellows__1_1_1_3 IP-PPL-CAT n56_a_paulfellows__1_1_1->n56_a_paulfellows__1_1_1_3 n56_a_paulfellows__1_1_1_1_1 D n56_a_paulfellows__1_1_1_1->n56_a_paulfellows__1_1_1_1_1 n56_a_paulfellows__1_1_1_1_2 ADJP n56_a_paulfellows__1_1_1_1->n56_a_paulfellows__1_1_1_1_2 n56_a_paulfellows__1_1_1_1_3 NS n56_a_paulfellows__1_1_1_1->n56_a_paulfellows__1_1_1_1_3 n56_a_paulfellows__1_1_1_1_1->n56_a_paulfellows__1_1_1_1_1_1 n56_a_paulfellows__1_1_1_1_2_1 ADJ n56_a_paulfellows__1_1_1_1_2->n56_a_paulfellows__1_1_1_1_2_1 n56_a_paulfellows__1_1_1_1_2_1->n56_a_paulfellows__1_1_1_1_2_1_1 n56_a_paulfellows__1_1_1_1_3->n56_a_paulfellows__1_1_1_1_3_1 n56_a_paulfellows__1_1_1_2->n56_a_paulfellows__1_1_1_2_1 n56_a_paulfellows__1_1_1_3_1 ADVP-NIM n56_a_paulfellows__1_1_1_3->n56_a_paulfellows__1_1_1_3_1 n56_a_paulfellows__1_1_1_3_2 VVN;__ n56_a_paulfellows__1_1_1_3->n56_a_paulfellows__1_1_1_3_2 n56_a_paulfellows__1_1_1_3_3 NP-OB1 n56_a_paulfellows__1_1_1_3->n56_a_paulfellows__1_1_1_3_3 n56_a_paulfellows__1_1_1_3_1_1 ADV n56_a_paulfellows__1_1_1_3_1->n56_a_paulfellows__1_1_1_3_1_1 n56_a_paulfellows__1_1_1_3_1_1->n56_a_paulfellows__1_1_1_3_1_1_1 n56_a_paulfellows__1_1_1_3_2->n56_a_paulfellows__1_1_1_3_2_1 n56_a_paulfellows__1_1_1_3_3_1 D n56_a_paulfellows__1_1_1_3_3->n56_a_paulfellows__1_1_1_3_3_1 n56_a_paulfellows__1_1_1_3_3_2 ADJP n56_a_paulfellows__1_1_1_3_3->n56_a_paulfellows__1_1_1_3_3_2 n56_a_paulfellows__1_1_1_3_3_3 N n56_a_paulfellows__1_1_1_3_3->n56_a_paulfellows__1_1_1_3_3_3 n56_a_paulfellows__1_1_1_3_3_4 PP n56_a_paulfellows__1_1_1_3_3->n56_a_paulfellows__1_1_1_3_3_4 n56_a_paulfellows__1_1_1_3_3_1->n56_a_paulfellows__1_1_1_3_3_1_1 n56_a_paulfellows__1_1_1_3_3_2_1 ADJ n56_a_paulfellows__1_1_1_3_3_2->n56_a_paulfellows__1_1_1_3_3_2_1 n56_a_paulfellows__1_1_1_3_3_2_1->n56_a_paulfellows__1_1_1_3_3_2_1_1 n56_a_paulfellows__1_1_1_3_3_3->n56_a_paulfellows__1_1_1_3_3_3_1 n56_a_paulfellows__1_1_1_3_3_4_1 P-ROLE n56_a_paulfellows__1_1_1_3_3_4->n56_a_paulfellows__1_1_1_3_3_4_1 n56_a_paulfellows__1_1_1_3_3_4_2 NP n56_a_paulfellows__1_1_1_3_3_4->n56_a_paulfellows__1_1_1_3_3_4_2 n56_a_paulfellows__1_1_1_3_3_4_1->n56_a_paulfellows__1_1_1_3_3_4_1_1 n56_a_paulfellows__1_1_1_3_3_4_2_1 NLYR n56_a_paulfellows__1_1_1_3_3_4_2->n56_a_paulfellows__1_1_1_3_3_4_2_1 n56_a_paulfellows__1_1_1_3_3_4_2_1_1 NLYR n56_a_paulfellows__1_1_1_3_3_4_2_1->n56_a_paulfellows__1_1_1_3_3_4_2_1_1 n56_a_paulfellows__1_1_1_3_3_4_2_1_2 CONJP n56_a_paulfellows__1_1_1_3_3_4_2_1->n56_a_paulfellows__1_1_1_3_3_4_2_1_2 n56_a_paulfellows__1_1_1_3_3_4_2_1_1_1 NUM n56_a_paulfellows__1_1_1_3_3_4_2_1_1->n56_a_paulfellows__1_1_1_3_3_4_2_1_1_1 n56_a_paulfellows__1_1_1_3_3_4_2_1_1_2 N n56_a_paulfellows__1_1_1_3_3_4_2_1_1->n56_a_paulfellows__1_1_1_3_3_4_2_1_1_2 n56_a_paulfellows__1_1_1_3_3_4_2_1_1_1->n56_a_paulfellows__1_1_1_3_3_4_2_1_1_1_1 n56_a_paulfellows__1_1_1_3_3_4_2_1_1_2->n56_a_paulfellows__1_1_1_3_3_4_2_1_1_2_1 n56_a_paulfellows__1_1_1_3_3_4_2_1_2_1 CONJ n56_a_paulfellows__1_1_1_3_3_4_2_1_2->n56_a_paulfellows__1_1_1_3_3_4_2_1_2_1 n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2 NLYR n56_a_paulfellows__1_1_1_3_3_4_2_1_2->n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2 n56_a_paulfellows__1_1_1_3_3_4_2_1_2_1->n56_a_paulfellows__1_1_1_3_3_4_2_1_2_1_1 n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2_1 NUM n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2->n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2_1 n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2_2 N n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2->n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2_2 n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2_1->n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2_1_1 n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2_2->n56_a_paulfellows__1_1_1_3_3_4_2_1_2_2_2_1 n56_a_paulfellows__1_1_2_1 CONJ n56_a_paulfellows__1_1_2->n56_a_paulfellows__1_1_2_1 n56_a_paulfellows__1_1_2_2 ILYR n56_a_paulfellows__1_1_2->n56_a_paulfellows__1_1_2_2 n56_a_paulfellows__1_1_2_1->n56_a_paulfellows__1_1_2_1_1 n56_a_paulfellows__1_1_2_2_1 NP-SBJ n56_a_paulfellows__1_1_2_2->n56_a_paulfellows__1_1_2_2_1 n56_a_paulfellows__1_1_2_2_2 DOP n56_a_paulfellows__1_1_2_2->n56_a_paulfellows__1_1_2_2_2 n56_a_paulfellows__1_1_2_2_3 NEG;_clitic_ n56_a_paulfellows__1_1_2_2->n56_a_paulfellows__1_1_2_2_3 n56_a_paulfellows__1_1_2_2_4 ADVP-NIM n56_a_paulfellows__1_1_2_2->n56_a_paulfellows__1_1_2_2_4 n56_a_paulfellows__1_1_2_2_5 VB;_Ipr_ n56_a_paulfellows__1_1_2_2->n56_a_paulfellows__1_1_2_2_5 n56_a_paulfellows__1_1_2_2_6 PP-CLR n56_a_paulfellows__1_1_2_2->n56_a_paulfellows__1_1_2_2_6 n56_a_paulfellows__1_1_2_2_7 ADVP-NIM n56_a_paulfellows__1_1_2_2->n56_a_paulfellows__1_1_2_2_7 n56_a_paulfellows__1_1_2_2_8 ADVP-NIM n56_a_paulfellows__1_1_2_2->n56_a_paulfellows__1_1_2_2_8 n56_a_paulfellows__1_1_2_2_1_1 PRO n56_a_paulfellows__1_1_2_2_1->n56_a_paulfellows__1_1_2_2_1_1 n56_a_paulfellows__1_1_2_2_1_1->n56_a_paulfellows__1_1_2_2_1_1_1 n56_a_paulfellows__1_1_2_2_2->n56_a_paulfellows__1_1_2_2_2_1 n56_a_paulfellows__1_1_2_2_3->n56_a_paulfellows__1_1_2_2_3_1 n56_a_paulfellows__1_1_2_2_4_1 ADV n56_a_paulfellows__1_1_2_2_4->n56_a_paulfellows__1_1_2_2_4_1 n56_a_paulfellows__1_1_2_2_4_1->n56_a_paulfellows__1_1_2_2_4_1_1 n56_a_paulfellows__1_1_2_2_5->n56_a_paulfellows__1_1_2_2_5_1 n56_a_paulfellows__1_1_2_2_6_1 P-ROLE n56_a_paulfellows__1_1_2_2_6->n56_a_paulfellows__1_1_2_2_6_1 n56_a_paulfellows__1_1_2_2_6_2 NP n56_a_paulfellows__1_1_2_2_6->n56_a_paulfellows__1_1_2_2_6_2 n56_a_paulfellows__1_1_2_2_6_1->n56_a_paulfellows__1_1_2_2_6_1_1 n56_a_paulfellows__1_1_2_2_6_2_1 D;_nphd_ n56_a_paulfellows__1_1_2_2_6_2->n56_a_paulfellows__1_1_2_2_6_2_1 n56_a_paulfellows__1_1_2_2_6_2_1->n56_a_paulfellows__1_1_2_2_6_2_1_1 n56_a_paulfellows__1_1_2_2_7_1 ADV n56_a_paulfellows__1_1_2_2_7->n56_a_paulfellows__1_1_2_2_7_1 n56_a_paulfellows__1_1_2_2_7_1->n56_a_paulfellows__1_1_2_2_7_1_1 n56_a_paulfellows__1_1_2_2_8_1 ADV n56_a_paulfellows__1_1_2_2_8->n56_a_paulfellows__1_1_2_2_8_1 n56_a_paulfellows__1_1_2_2_8_1->n56_a_paulfellows__1_1_2_2_8_1_1 n56_a_paulfellows__1_2->n56_a_paulfellows__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (D Those;{those})
                              (ADJP (ADJ little;{little}))
                              (NS sensors;{sensor}))
                      (HVP;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (ADVP-NIM (ADV all;{all}))
                                  (VVN;__ got;{get})
                                  (NP-OB1 (D a;{a})
                                          (ADJP (ADJ small;{small}))
                                          (N processor;{processor})
                                          (PP (P-ROLE with;{with})
                                              (NP (NLYR (NLYR (NUM 5K)
                                                              (N RAM;{ram}))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (NUM 128K)
                                                                     (N ROM;{rom})))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO they;{they}))
                             (DOP do;{do})
                             (NEG;_clitic_ n<apos>t;{not})
                             (ADVP-NIM (ADV half;{half}))
                             (VB;_Ipr_ look;{look[like]})
                             (PP-CLR (P-ROLE like;{like})
                                     (NP (D;_nphd_ these;{these})))
                             (ADVP-NIM (ADV inside;{inside}))
                             (ADVP-NIM (ADV as_well;{as_well})))))
          (PUNC .))
  (ID 56_a_paulfellows))