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_0001__Of_course Of course r_0030_0004__could_r_0030_0006__run->r_0030_0001__Of_course [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_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] 
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_4 Of_course n30_a_paulfellows_7 this n30_a_paulfellows_9 thing n30_a_paulfellows_11 could n30_a_paulfellows_15 never n30_a_paulfellows_17 run n30_a_paulfellows_20 entirely n30_a_paulfellows_23 standalone n30_a_paulfellows_30 it n30_a_paulfellows_33 always n30_a_paulfellows_35 needed n30_a_paulfellows_38 that n30_a_paulfellows_40 host n30_a_paulfellows_42 micro n30_a_paulfellows_46 to n30_a_paulfellows_48 get n30_a_paulfellows_51 it n30_a_paulfellows_54 going n30_a_paulfellows_56 . n30_a_paulfellows_1 IP-MAT n30_a_paulfellows_2 ADVP-NIM n30_a_paulfellows_1->n30_a_paulfellows_2 n30_a_paulfellows_5 NP-SBJ n30_a_paulfellows_1->n30_a_paulfellows_5 n30_a_paulfellows_10 MD;_cat_Vi_ n30_a_paulfellows_1->n30_a_paulfellows_10 n30_a_paulfellows_12 IP-INF-CAT n30_a_paulfellows_1->n30_a_paulfellows_12 n30_a_paulfellows_24 PRN n30_a_paulfellows_1->n30_a_paulfellows_24 n30_a_paulfellows_55 PUNC n30_a_paulfellows_1->n30_a_paulfellows_55 n30_a_paulfellows_3 ADV n30_a_paulfellows_2->n30_a_paulfellows_3 n30_a_paulfellows_3->n30_a_paulfellows_4 n30_a_paulfellows_6 D n30_a_paulfellows_5->n30_a_paulfellows_6 n30_a_paulfellows_8 N n30_a_paulfellows_5->n30_a_paulfellows_8 n30_a_paulfellows_6->n30_a_paulfellows_7 n30_a_paulfellows_8->n30_a_paulfellows_9 n30_a_paulfellows_10->n30_a_paulfellows_11 n30_a_paulfellows_13 ADVP-NIM n30_a_paulfellows_12->n30_a_paulfellows_13 n30_a_paulfellows_16 VB;_I_ n30_a_paulfellows_12->n30_a_paulfellows_16 n30_a_paulfellows_18 ADVP-NIM n30_a_paulfellows_12->n30_a_paulfellows_18 n30_a_paulfellows_21 ADJP-PRD n30_a_paulfellows_12->n30_a_paulfellows_21 n30_a_paulfellows_14 ADV n30_a_paulfellows_13->n30_a_paulfellows_14 n30_a_paulfellows_14->n30_a_paulfellows_15 n30_a_paulfellows_16->n30_a_paulfellows_17 n30_a_paulfellows_19 ADV n30_a_paulfellows_18->n30_a_paulfellows_19 n30_a_paulfellows_19->n30_a_paulfellows_20 n30_a_paulfellows_22 ADJ n30_a_paulfellows_21->n30_a_paulfellows_22 n30_a_paulfellows_22->n30_a_paulfellows_23 n30_a_paulfellows_25 IP-MAT n30_a_paulfellows_24->n30_a_paulfellows_25 n30_a_paulfellows_26 NP-SBJ n30_a_paulfellows_25->n30_a_paulfellows_26 n30_a_paulfellows_31 ADVP-NIM n30_a_paulfellows_25->n30_a_paulfellows_31 n30_a_paulfellows_34 VBD;_Tn_ n30_a_paulfellows_25->n30_a_paulfellows_34 n30_a_paulfellows_36 NP-OB1 n30_a_paulfellows_25->n30_a_paulfellows_36 n30_a_paulfellows_43 PP-SCON n30_a_paulfellows_25->n30_a_paulfellows_43 n30_a_paulfellows_27 IP-PPL n30_a_paulfellows_26->n30_a_paulfellows_27 n30_a_paulfellows_28 NP-PRD n30_a_paulfellows_27->n30_a_paulfellows_28 n30_a_paulfellows_29 PRO n30_a_paulfellows_28->n30_a_paulfellows_29 n30_a_paulfellows_29->n30_a_paulfellows_30 n30_a_paulfellows_32 ADV n30_a_paulfellows_31->n30_a_paulfellows_32 n30_a_paulfellows_32->n30_a_paulfellows_33 n30_a_paulfellows_34->n30_a_paulfellows_35 n30_a_paulfellows_37 D n30_a_paulfellows_36->n30_a_paulfellows_37 n30_a_paulfellows_39 N n30_a_paulfellows_36->n30_a_paulfellows_39 n30_a_paulfellows_41 N n30_a_paulfellows_36->n30_a_paulfellows_41 n30_a_paulfellows_37->n30_a_paulfellows_38 n30_a_paulfellows_39->n30_a_paulfellows_40 n30_a_paulfellows_41->n30_a_paulfellows_42 n30_a_paulfellows_44 IP-INF n30_a_paulfellows_43->n30_a_paulfellows_44 n30_a_paulfellows_45 TO n30_a_paulfellows_44->n30_a_paulfellows_45 n30_a_paulfellows_47 VB;_Cn.a_ n30_a_paulfellows_44->n30_a_paulfellows_47 n30_a_paulfellows_49 NP-OB1 n30_a_paulfellows_44->n30_a_paulfellows_49 n30_a_paulfellows_52 ADJP-PRD n30_a_paulfellows_44->n30_a_paulfellows_52 n30_a_paulfellows_45->n30_a_paulfellows_46 n30_a_paulfellows_47->n30_a_paulfellows_48 n30_a_paulfellows_50 PRO n30_a_paulfellows_49->n30_a_paulfellows_50 n30_a_paulfellows_50->n30_a_paulfellows_51 n30_a_paulfellows_53 ADJ n30_a_paulfellows_52->n30_a_paulfellows_53 n30_a_paulfellows_53->n30_a_paulfellows_54 n30_a_paulfellows_55->n30_a_paulfellows_56 
( (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))