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.

%3 r_0030_0004__could could r_0030_0001__Of_course Of course r_0030_0004__could->r_0030_0001__Of_course [nim] r_0030_0006__run run r_0030_0004__could->r_0030_0006__run [scope] r_0030_0002__this_r_0030_0003__thing this thing r_0030_0006__run->r_0030_0002__this_r_0030_0003__thing [arg0] r_0030_0005__never never r_0030_0006__run->r_0030_0005__never [nim] r_0030_0007__entirely entirely r_0030_0006__run->r_0030_0007__entirely [nim] r_0030_0008__standalone standalone r_0030_0006__run->r_0030_0008__standalone [prd] 
arc(r_0030_0004__could, r_0030_0001__Of_course, nim2).
arc(r_0030_0004__could, r_0030_0006__run, scope).
arc(r_0030_0006__run, r_0030_0002__this_r_0030_0003__thing, arg0).
arc(r_0030_0006__run, r_0030_0005__never, nim13).
arc(r_0030_0006__run, r_0030_0007__entirely, nim18).
arc(r_0030_0006__run, r_0030_0008__standalone, prd).


%3 r_0030_0004__could_r_0030_0006__run could run r_0030_0008__standalone standalone r_0030_0004__could_r_0030_0006__run->r_0030_0008__standalone [prd] r_0030_0007__entirely entirely r_0030_0004__could_r_0030_0006__run->r_0030_0007__entirely [nim] r_0030_0005__never never r_0030_0004__could_r_0030_0006__run->r_0030_0005__never [nim] 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_0001__Of_course Of course r_0030_0004__could_r_0030_0006__run->r_0030_0001__Of_course [nim] 
fof(formula,axiom,
    ? [R_30_4_COULD_RUN,R_30_2_THIS_THING,R_30_5_NEVER,R_30_7_ENTIRELY,R_30_1_OF_COURSE,R_30_8_STANDALONE] :
      ( this_thing(R_30_2_THIS_THING)
      & never(R_30_5_NEVER)
      & entirely(R_30_7_ENTIRELY)
      & of_course(R_30_1_OF_COURSE)
      & standalone(R_30_8_STANDALONE)
      & could_run(R_30_4_COULD_RUN,R_30_2_THIS_THING,R_30_8_STANDALONE)
      & nim13(R_30_4_COULD_RUN,R_30_5_NEVER)
      & nim18(R_30_4_COULD_RUN,R_30_7_ENTIRELY)
      & nim2(R_30_4_COULD_RUN,R_30_1_OF_COURSE) ) ).


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 IP-PPL 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-PRD 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 (IP-PPL (NP-PRD;{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))