Context                Previous, Next                Top


30_a_paulfellows
Of course this thing could never run entirely standalone it always needed that host micro to get it going.

n30_a_paulfellows n30_a_paulfellows__1_1_1_1 Of_course n30_a_paulfellows__1_2_1_1 this n30_a_paulfellows__1_2_2_1 thing n30_a_paulfellows__1_3_1 could n30_a_paulfellows__1_4_1_1_1 never n30_a_paulfellows__1_4_2_1 run n30_a_paulfellows__1_4_3_1_1 entirely n30_a_paulfellows__1_4_4_1_1 standalone n30_a_paulfellows__1_5_1_1_1_1_1_1 it n30_a_paulfellows__1_5_1_2_1_1 always n30_a_paulfellows__1_5_1_3_1 needed n30_a_paulfellows__1_5_1_4_1_1 that n30_a_paulfellows__1_5_1_4_2_1 host n30_a_paulfellows__1_5_1_4_3_1 micro n30_a_paulfellows__1_5_1_5_1_1_1 to n30_a_paulfellows__1_5_1_5_1_2_1 get n30_a_paulfellows__1_5_1_5_1_3_1_1 it n30_a_paulfellows__1_5_1_5_1_4_1_1 going n30_a_paulfellows__1_6_1 . n30_a_paulfellows__1 IP-MAT n30_a_paulfellows__1_1 ADVP-NIM n30_a_paulfellows__1->n30_a_paulfellows__1_1 n30_a_paulfellows__1_2 NP-SBJ n30_a_paulfellows__1->n30_a_paulfellows__1_2 n30_a_paulfellows__1_3 MD;_cat_Vi_ n30_a_paulfellows__1->n30_a_paulfellows__1_3 n30_a_paulfellows__1_4 IP-INF-CAT n30_a_paulfellows__1->n30_a_paulfellows__1_4 n30_a_paulfellows__1_5 PRN n30_a_paulfellows__1->n30_a_paulfellows__1_5 n30_a_paulfellows__1_6 PUNC n30_a_paulfellows__1->n30_a_paulfellows__1_6 n30_a_paulfellows__1_1_1 ADV n30_a_paulfellows__1_1->n30_a_paulfellows__1_1_1 n30_a_paulfellows__1_1_1->n30_a_paulfellows__1_1_1_1 n30_a_paulfellows__1_2_1 D n30_a_paulfellows__1_2->n30_a_paulfellows__1_2_1 n30_a_paulfellows__1_2_2 N n30_a_paulfellows__1_2->n30_a_paulfellows__1_2_2 n30_a_paulfellows__1_2_1->n30_a_paulfellows__1_2_1_1 n30_a_paulfellows__1_2_2->n30_a_paulfellows__1_2_2_1 n30_a_paulfellows__1_3->n30_a_paulfellows__1_3_1 n30_a_paulfellows__1_4_1 ADVP-NIM n30_a_paulfellows__1_4->n30_a_paulfellows__1_4_1 n30_a_paulfellows__1_4_2 VB;_I_ n30_a_paulfellows__1_4->n30_a_paulfellows__1_4_2 n30_a_paulfellows__1_4_3 ADVP-NIM n30_a_paulfellows__1_4->n30_a_paulfellows__1_4_3 n30_a_paulfellows__1_4_4 ADJP-PRD n30_a_paulfellows__1_4->n30_a_paulfellows__1_4_4 n30_a_paulfellows__1_4_1_1 ADV n30_a_paulfellows__1_4_1->n30_a_paulfellows__1_4_1_1 n30_a_paulfellows__1_4_1_1->n30_a_paulfellows__1_4_1_1_1 n30_a_paulfellows__1_4_2->n30_a_paulfellows__1_4_2_1 n30_a_paulfellows__1_4_3_1 ADV n30_a_paulfellows__1_4_3->n30_a_paulfellows__1_4_3_1 n30_a_paulfellows__1_4_3_1->n30_a_paulfellows__1_4_3_1_1 n30_a_paulfellows__1_4_4_1 ADJ n30_a_paulfellows__1_4_4->n30_a_paulfellows__1_4_4_1 n30_a_paulfellows__1_4_4_1->n30_a_paulfellows__1_4_4_1_1 n30_a_paulfellows__1_5_1 IP-MAT n30_a_paulfellows__1_5->n30_a_paulfellows__1_5_1 n30_a_paulfellows__1_5_1_1 NP-SBJ n30_a_paulfellows__1_5_1->n30_a_paulfellows__1_5_1_1 n30_a_paulfellows__1_5_1_2 ADVP-NIM n30_a_paulfellows__1_5_1->n30_a_paulfellows__1_5_1_2 n30_a_paulfellows__1_5_1_3 VBD;_Tn_ n30_a_paulfellows__1_5_1->n30_a_paulfellows__1_5_1_3 n30_a_paulfellows__1_5_1_4 NP-OB1 n30_a_paulfellows__1_5_1->n30_a_paulfellows__1_5_1_4 n30_a_paulfellows__1_5_1_5 PP-SCON n30_a_paulfellows__1_5_1->n30_a_paulfellows__1_5_1_5 n30_a_paulfellows__1_5_1_1_1 PRN n30_a_paulfellows__1_5_1_1->n30_a_paulfellows__1_5_1_1_1 n30_a_paulfellows__1_5_1_1_1_1 NP n30_a_paulfellows__1_5_1_1_1->n30_a_paulfellows__1_5_1_1_1_1 n30_a_paulfellows__1_5_1_1_1_1_1 PRO n30_a_paulfellows__1_5_1_1_1_1->n30_a_paulfellows__1_5_1_1_1_1_1 n30_a_paulfellows__1_5_1_1_1_1_1->n30_a_paulfellows__1_5_1_1_1_1_1_1 n30_a_paulfellows__1_5_1_2_1 ADV n30_a_paulfellows__1_5_1_2->n30_a_paulfellows__1_5_1_2_1 n30_a_paulfellows__1_5_1_2_1->n30_a_paulfellows__1_5_1_2_1_1 n30_a_paulfellows__1_5_1_3->n30_a_paulfellows__1_5_1_3_1 n30_a_paulfellows__1_5_1_4_1 D n30_a_paulfellows__1_5_1_4->n30_a_paulfellows__1_5_1_4_1 n30_a_paulfellows__1_5_1_4_2 N n30_a_paulfellows__1_5_1_4->n30_a_paulfellows__1_5_1_4_2 n30_a_paulfellows__1_5_1_4_3 N n30_a_paulfellows__1_5_1_4->n30_a_paulfellows__1_5_1_4_3 n30_a_paulfellows__1_5_1_4_1->n30_a_paulfellows__1_5_1_4_1_1 n30_a_paulfellows__1_5_1_4_2->n30_a_paulfellows__1_5_1_4_2_1 n30_a_paulfellows__1_5_1_4_3->n30_a_paulfellows__1_5_1_4_3_1 n30_a_paulfellows__1_5_1_5_1 IP-INF n30_a_paulfellows__1_5_1_5->n30_a_paulfellows__1_5_1_5_1 n30_a_paulfellows__1_5_1_5_1_1 TO n30_a_paulfellows__1_5_1_5_1->n30_a_paulfellows__1_5_1_5_1_1 n30_a_paulfellows__1_5_1_5_1_2 VB;_Cn.a_ n30_a_paulfellows__1_5_1_5_1->n30_a_paulfellows__1_5_1_5_1_2 n30_a_paulfellows__1_5_1_5_1_3 NP-OB1 n30_a_paulfellows__1_5_1_5_1->n30_a_paulfellows__1_5_1_5_1_3 n30_a_paulfellows__1_5_1_5_1_4 ADJP-PRD n30_a_paulfellows__1_5_1_5_1->n30_a_paulfellows__1_5_1_5_1_4 n30_a_paulfellows__1_5_1_5_1_1->n30_a_paulfellows__1_5_1_5_1_1_1 n30_a_paulfellows__1_5_1_5_1_2->n30_a_paulfellows__1_5_1_5_1_2_1 n30_a_paulfellows__1_5_1_5_1_3_1 PRO n30_a_paulfellows__1_5_1_5_1_3->n30_a_paulfellows__1_5_1_5_1_3_1 n30_a_paulfellows__1_5_1_5_1_3_1->n30_a_paulfellows__1_5_1_5_1_3_1_1 n30_a_paulfellows__1_5_1_5_1_4_1 ADJ n30_a_paulfellows__1_5_1_5_1_4->n30_a_paulfellows__1_5_1_5_1_4_1 n30_a_paulfellows__1_5_1_5_1_4_1->n30_a_paulfellows__1_5_1_5_1_4_1_1 n30_a_paulfellows__1_6->n30_a_paulfellows__1_6_1 
( (IP-MAT (ADVP-NIM (ADV Of_course;{of_course}))
          (NP-SBJ;{DEV_BOARD} (D this;{this})
                              (N thing;{thing}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (ADVP-NIM (ADV never;{never}))
                      (VB;_I_ run;{run})
                      (ADVP-NIM (ADV entirely;{entirely}))
                      (ADJP-PRD (ADJ standalone;{standalone})))
          (PRN (IP-MAT (NP-SBJ (PRN (NP;{DEV_BOARD} (PRO it;{it}))))
                       (ADVP-NIM (ADV always;{always}))
                       (VBD;_Tn_ needed;{need})
                       (NP-OB1 (D that;{that})
                               (N host;{host})
                               (N micro;{micro}))
                       (PP-SCON (IP-INF (TO to;{to})
                                        (VB;_Cn.a_ get;{get})
                                        (NP-OB1;{DEV_BOARD} (PRO it;{it}))
                                        (ADJP-PRD (ADJ going;{going}))))))
          (PUNC .))
  (ID 30_a_paulfellows))


%3 z_0030_5010 r_0030_0016__get get z_0030_5010->r_0030_0016__get [restriction] r_0030_0011__needed needed z_0030_5010->r_0030_0011__needed [scope] r_0030_0002__this_r_0030_0003__thing this thing r_0030_0016__get->r_0030_0002__this_r_0030_0003__thing [arg1] r_0030_0018__going going r_0030_0016__get->r_0030_0018__going [prd] r_0030_0012__that_r_0030_0013__host_r_0030_0014__micro that host micro r_0030_0016__get->r_0030_0012__that_r_0030_0013__host_r_0030_0014__micro [arg0] z_0030_5008 r_0030_0011__needed->z_0030_5008 [arg0] r_0030_0011__needed->r_0030_0012__that_r_0030_0013__host_r_0030_0014__micro [arg1] r_0030_0010__always always r_0030_0011__needed->r_0030_0010__always [nim] z_0030_5006 z_0030_5006->z_0030_5008 [arg0] z_0030_5006->r_0030_0002__this_r_0030_0003__thing [prd] r_0030_0006__run run r_0030_0006__run->r_0030_0002__this_r_0030_0003__thing [arg0] r_0030_0008__standalone standalone r_0030_0006__run->r_0030_0008__standalone [prd] r_0030_0007__entirely entirely r_0030_0006__run->r_0030_0007__entirely [nim] r_0030_0005__never never r_0030_0006__run->r_0030_0005__never [nim] r_0030_0004__could could r_0030_0004__could->z_0030_5010 [prn] r_0030_0004__could->r_0030_0006__run [scope] r_0030_0001__Of_course Of_course r_0030_0004__could->r_0030_0001__Of_course [nim] 
arc(r_0030_0004__could,r_0030_0001__Of_course,nim).
arc(r_0030_0004__could,r_0030_0006__run,scope).
arc(r_0030_0004__could,z_0030_5010,prn).
arc(r_0030_0006__run,r_0030_0002__this_r_0030_0003__thing,arg0).
arc(r_0030_0006__run,r_0030_0005__never,nim).
arc(r_0030_0006__run,r_0030_0007__entirely,nim).
arc(r_0030_0006__run,r_0030_0008__standalone,prd).
arc(r_0030_0011__needed,r_0030_0010__always,nim).
arc(r_0030_0011__needed,r_0030_0012__that_r_0030_0013__host_r_0030_0014__micro,arg1).
arc(r_0030_0011__needed,z_0030_5008,arg0).
arc(r_0030_0016__get,r_0030_0002__this_r_0030_0003__thing,arg1).
arc(r_0030_0016__get,r_0030_0012__that_r_0030_0013__host_r_0030_0014__micro,arg0).
arc(r_0030_0016__get,r_0030_0018__going,prd).
arc(z_0030_5006,r_0030_0002__this_r_0030_0003__thing,prd).
arc(z_0030_5006,z_0030_5008,arg0).
arc(z_0030_5010,r_0030_0011__needed,scope).
arc(z_0030_5010,r_0030_0016__get,restriction).


%3 r_0030_0004__could_r_0030_0006__run could run r_0030_0001__Of_course Of_course r_0030_0004__could_r_0030_0006__run->r_0030_0001__Of_course [nim] z_0030_5010 r_0030_0004__could_r_0030_0006__run->z_0030_5010 [prn] r_0030_0002__this_r_0030_0003__thing this thing r_0030_0004__could_r_0030_0006__run->r_0030_0002__this_r_0030_0003__thing [arg0] r_0030_0005__never never r_0030_0004__could_r_0030_0006__run->r_0030_0005__never [nim] r_0030_0007__entirely entirely r_0030_0004__could_r_0030_0006__run->r_0030_0007__entirely [nim] r_0030_0008__standalone standalone r_0030_0004__could_r_0030_0006__run->r_0030_0008__standalone [prd] r_0030_0011__needed needed z_0030_5010->r_0030_0011__needed [conj2] r_0030_0016__get get z_0030_5010->r_0030_0016__get [conj1] r_0030_0010__always always r_0030_0011__needed->r_0030_0010__always [nim] r_0030_0012__that_r_0030_0013__host_r_0030_0014__micro that host micro r_0030_0011__needed->r_0030_0012__that_r_0030_0013__host_r_0030_0014__micro [arg1] z_0030_5008 r_0030_0011__needed->z_0030_5008 [arg0] r_0030_0016__get->r_0030_0002__this_r_0030_0003__thing [arg1] r_0030_0016__get->r_0030_0012__that_r_0030_0013__host_r_0030_0014__micro [arg0] r_0030_0018__going going r_0030_0016__get->r_0030_0018__going [prd] z_0030_5006 z_0030_5006->r_0030_0002__this_r_0030_0003__thing [prd] z_0030_5006->z_0030_5008 [arg0] 
fof(formula,axiom,
    ? [R_0030_0001__OF_COURSE,R_0030_0010__ALWAYS,R_0030_0012__THAT_R_0030_0013__HOST_R_0030_0014__MICRO,Z_0030_5008,R_0030_0011__NEEDED,R_0030_0002__THIS_R_0030_0003__THING,R_0030_0018__GOING,R_0030_0016__GET,Z_0030_5010,R_0030_0005__NEVER,R_0030_0007__ENTIRELY,R_0030_0008__STANDALONE,R_0030_0004__COULD_R_0030_0006__RUN,Z_0030_5006] :
      ( r_0030_0001__Of_course(R_0030_0001__OF_COURSE)
      & r_0030_0002__this_r_0030_0003__thing(R_0030_0002__THIS_R_0030_0003__THING)
      & r_0030_0005__never(R_0030_0005__NEVER)
      & r_0030_0007__entirely(R_0030_0007__ENTIRELY)
      & r_0030_0008__standalone(R_0030_0008__STANDALONE)
      & r_0030_0010__always(R_0030_0010__ALWAYS)
      & r_0030_0012__that_r_0030_0013__host_r_0030_0014__micro(R_0030_0012__THAT_R_0030_0013__HOST_R_0030_0014__MICRO)
      & r_0030_0018__going(R_0030_0018__GOING)
      & z_0030_5008(Z_0030_5008)
      & z_0030_5006(Z_0030_5006)
      & has_arg0(Z_0030_5006,Z_0030_5008)
      & has_prd(Z_0030_5006,R_0030_0002__THIS_R_0030_0003__THING)
      & r_0030_0004__could_r_0030_0006__run(R_0030_0004__COULD_R_0030_0006__RUN)
      & has_prd(R_0030_0004__COULD_R_0030_0006__RUN,R_0030_0008__STANDALONE)
      & has_nim(R_0030_0004__COULD_R_0030_0006__RUN,R_0030_0007__ENTIRELY)
      & has_nim(R_0030_0004__COULD_R_0030_0006__RUN,R_0030_0005__NEVER)
      & has_arg0(R_0030_0004__COULD_R_0030_0006__RUN,R_0030_0002__THIS_R_0030_0003__THING)
      & has_prn(R_0030_0004__COULD_R_0030_0006__RUN,Z_0030_5010)
      & z_0030_5010(Z_0030_5010)
      & has_conj1(Z_0030_5010,R_0030_0016__GET)
      & r_0030_0016__get(R_0030_0016__GET)
      & has_prd(R_0030_0016__GET,R_0030_0018__GOING)
      & has_arg0(R_0030_0016__GET,R_0030_0012__THAT_R_0030_0013__HOST_R_0030_0014__MICRO)
      & has_arg1(R_0030_0016__GET,R_0030_0002__THIS_R_0030_0003__THING)
      & has_conj2(Z_0030_5010,R_0030_0011__NEEDED)
      & r_0030_0011__needed(R_0030_0011__NEEDED)
      & has_arg0(R_0030_0011__NEEDED,Z_0030_5008)
      & has_arg1(R_0030_0011__NEEDED,R_0030_0012__THAT_R_0030_0013__HOST_R_0030_0014__MICRO)
      & has_nim(R_0030_0011__NEEDED,R_0030_0010__ALWAYS)
      & has_nim(R_0030_0004__COULD_R_0030_0006__RUN,R_0030_0001__OF_COURSE) ) ).