Context                Previous, Next                Top


77_a_paulfellows
We were absolutely going to have to launch it with the smallest amount of RAM and no hard drive.

%3 r_0077_0002__were were r_0077_0004__going going r_0077_0002__were->r_0077_0004__going [scope] r_0077_0003__absolutely absolutely r_0077_0004__going->r_0077_0003__absolutely [nim] r_0077_0005__to_r_0077_0006__have to have r_0077_0004__going->r_0077_0005__to_r_0077_0006__have [scope] r_0077_0007__to_r_0077_0008__launch to launch r_0077_0005__to_r_0077_0006__have->r_0077_0007__to_r_0077_0008__launch [scope] r_0077_0001__We We r_0077_0007__to_r_0077_0008__launch->r_0077_0001__We [arg0] r_0077_0009__it it r_0077_0007__to_r_0077_0008__launch->r_0077_0009__it [arg1] r_0077_0016__and and r_0077_0007__to_r_0077_0008__launch->r_0077_0016__and with [nim] r_0077_0011__the_r_0077_0013__amount the amount r_0077_0016__and->r_0077_0011__the_r_0077_0013__amount [conj1] r_0077_0019__drive drive r_0077_0016__and->r_0077_0019__drive [conj2] r_0077_0012__smallest smallest r_0077_0011__the_r_0077_0013__amount->r_0077_0012__smallest [attrib] r_0077_0015__RAM RAM r_0077_0011__the_r_0077_0013__amount->r_0077_0015__RAM of r_0077_0018__hard hard r_0077_0019__drive->r_0077_0018__hard [attrib] r_0077_0017__no_quant no [quant] r_0077_0017__no_quant->r_0077_0016__and [scope] r_0077_0017__no_quant->r_0077_0019__drive [restriction] 
arc(r_0077_0002__were, r_0077_0004__going, scope).
arc(r_0077_0004__going, r_0077_0003__absolutely, nim8).
arc(r_0077_0004__going, r_0077_0005__to_r_0077_0006__have, scope).
arc(r_0077_0005__to_r_0077_0006__have, r_0077_0007__to_r_0077_0008__launch, scope).
arc(r_0077_0007__to_r_0077_0008__launch, r_0077_0001__We, arg0).
arc(r_0077_0007__to_r_0077_0008__launch, r_0077_0009__it, arg1).
arc(r_0077_0007__to_r_0077_0008__launch, r_0077_0016__and, r_0077_0010__with_nim29).
arc(r_0077_0011__the_r_0077_0013__amount, r_0077_0012__smallest, attrib34).
arc(r_0077_0011__the_r_0077_0013__amount, r_0077_0015__RAM, r_0077_0014__of).
arc(r_0077_0016__and, r_0077_0011__the_r_0077_0013__amount, conj1).
arc(r_0077_0016__and, r_0077_0019__drive, conj2).
arc(r_0077_0017__no_quant, r_0077_0016__and, scope).
arc(r_0077_0017__no_quant, r_0077_0019__drive, restriction).
arc(r_0077_0019__drive, r_0077_0018__hard, attrib51).


%3 r_0077_0002__were_r_0077_0004__going_r_0077_0005__to_r_0077_0006__have_r_0077_0007__to_r_0077_0008__launch were going to have to launch r_0077_0001__We We r_0077_0002__were_r_0077_0004__going_r_0077_0005__to_r_0077_0006__have_r_0077_0007__to_r_0077_0008__launch->r_0077_0001__We [arg0] r_0077_0003__absolutely absolutely r_0077_0002__were_r_0077_0004__going_r_0077_0005__to_r_0077_0006__have_r_0077_0007__to_r_0077_0008__launch->r_0077_0003__absolutely [nim] r_0077_0009__it it r_0077_0002__were_r_0077_0004__going_r_0077_0005__to_r_0077_0006__have_r_0077_0007__to_r_0077_0008__launch->r_0077_0009__it [arg1] r_0077_0016__and and r_0077_0002__were_r_0077_0004__going_r_0077_0005__to_r_0077_0006__have_r_0077_0007__to_r_0077_0008__launch->r_0077_0016__and with [nim] r_0077_0011__the_r_0077_0013__amount the amount r_0077_0016__and->r_0077_0011__the_r_0077_0013__amount [conj1] r_0077_0019__drive drive r_0077_0016__and->r_0077_0019__drive [conj2] r_0077_0012__smallest smallest r_0077_0011__the_r_0077_0013__amount->r_0077_0012__smallest [attrib] r_0077_0015__RAM RAM r_0077_0011__the_r_0077_0013__amount->r_0077_0015__RAM of r_0077_0018__hard hard r_0077_0019__drive->r_0077_0018__hard [attrib] r_0077_0017__no_quant no [quant] r_0077_0017__no_quant->r_0077_0002__were_r_0077_0004__going_r_0077_0005__to_r_0077_0006__have_r_0077_0007__to_r_0077_0008__launch [scope] r_0077_0017__no_quant->r_0077_0019__drive [restriction] 
fof(formula,axiom,
    ! [R_77_19_DRIVE,R_77_18_HARD] :
      ( ( hard(R_77_18_HARD)
        & drive(R_77_19_DRIVE)
        & attrib51(R_77_19_DRIVE,R_77_18_HARD) )
     => ? [R_77_2_WERE_GOING_TO_HAVE_TO_LAUNCH,R_77_1_WE,R_77_9_IT,R_77_3_ABSOLUTELY,R_77_16_AND,R_77_11_THE_AMOUNT,R_77_12_SMALLEST,R_77_15_RAM] :
          ( we(R_77_1_WE)
          & it(R_77_9_IT)
          & absolutely(R_77_3_ABSOLUTELY)
          & smallest(R_77_12_SMALLEST)
          & rAM(R_77_15_RAM)
          & were_going_to_have_to_launch(R_77_2_WERE_GOING_TO_HAVE_TO_LAUNCH,R_77_1_WE,R_77_9_IT)
          & nim8(R_77_2_WERE_GOING_TO_HAVE_TO_LAUNCH,R_77_3_ABSOLUTELY)
          & with_nim29(R_77_2_WERE_GOING_TO_HAVE_TO_LAUNCH,R_77_16_AND)
          & and(R_77_16_AND)
          & conj1(R_77_16_AND,R_77_11_THE_AMOUNT)
          & the_amount(R_77_11_THE_AMOUNT)
          & attrib34(R_77_11_THE_AMOUNT,R_77_12_SMALLEST)
          & of(R_77_11_THE_AMOUNT,R_77_15_RAM)
          & conj2(R_77_16_AND,R_77_19_DRIVE) ) ) ).


n77_a_paulfellows n77_a_paulfellows_4 We n77_a_paulfellows_6 were n77_a_paulfellows_10 absolutely n77_a_paulfellows_12 going n77_a_paulfellows_15 to n77_a_paulfellows_17 have n77_a_paulfellows_20 to n77_a_paulfellows_22 launch n77_a_paulfellows_25 it n77_a_paulfellows_28 with n77_a_paulfellows_33 the n77_a_paulfellows_36 smallest n77_a_paulfellows_38 amount n77_a_paulfellows_41 of n77_a_paulfellows_44 RAM n77_a_paulfellows_47 and n77_a_paulfellows_50 no n77_a_paulfellows_53 hard n77_a_paulfellows_55 drive n77_a_paulfellows_57 . n77_a_paulfellows_1 IP-MAT n77_a_paulfellows_2 NP-SBJ n77_a_paulfellows_1->n77_a_paulfellows_2 n77_a_paulfellows_5 BED;_cat_Vg_ n77_a_paulfellows_1->n77_a_paulfellows_5 n77_a_paulfellows_7 IP-PPL-CAT n77_a_paulfellows_1->n77_a_paulfellows_7 n77_a_paulfellows_56 PUNC n77_a_paulfellows_1->n77_a_paulfellows_56 n77_a_paulfellows_3 PRO n77_a_paulfellows_2->n77_a_paulfellows_3 n77_a_paulfellows_3->n77_a_paulfellows_4 n77_a_paulfellows_5->n77_a_paulfellows_6 n77_a_paulfellows_8 ADVP-NIM n77_a_paulfellows_7->n77_a_paulfellows_8 n77_a_paulfellows_11 VAG;_cat_Vt_ n77_a_paulfellows_7->n77_a_paulfellows_11 n77_a_paulfellows_13 IP-INF-CAT n77_a_paulfellows_7->n77_a_paulfellows_13 n77_a_paulfellows_9 ADV n77_a_paulfellows_8->n77_a_paulfellows_9 n77_a_paulfellows_9->n77_a_paulfellows_10 n77_a_paulfellows_11->n77_a_paulfellows_12 n77_a_paulfellows_14 TO n77_a_paulfellows_13->n77_a_paulfellows_14 n77_a_paulfellows_16 HV;_cat_Vt_ n77_a_paulfellows_13->n77_a_paulfellows_16 n77_a_paulfellows_18 IP-INF-CAT n77_a_paulfellows_13->n77_a_paulfellows_18 n77_a_paulfellows_14->n77_a_paulfellows_15 n77_a_paulfellows_16->n77_a_paulfellows_17 n77_a_paulfellows_19 TO n77_a_paulfellows_18->n77_a_paulfellows_19 n77_a_paulfellows_21 VB;__ n77_a_paulfellows_18->n77_a_paulfellows_21 n77_a_paulfellows_23 NP-OB1 n77_a_paulfellows_18->n77_a_paulfellows_23 n77_a_paulfellows_26 PP-NIM n77_a_paulfellows_18->n77_a_paulfellows_26 n77_a_paulfellows_19->n77_a_paulfellows_20 n77_a_paulfellows_21->n77_a_paulfellows_22 n77_a_paulfellows_24 PRO n77_a_paulfellows_23->n77_a_paulfellows_24 n77_a_paulfellows_24->n77_a_paulfellows_25 n77_a_paulfellows_27 P-ROLE n77_a_paulfellows_26->n77_a_paulfellows_27 n77_a_paulfellows_29 NP n77_a_paulfellows_26->n77_a_paulfellows_29 n77_a_paulfellows_27->n77_a_paulfellows_28 n77_a_paulfellows_30 NLYR n77_a_paulfellows_29->n77_a_paulfellows_30 n77_a_paulfellows_31 NLYR n77_a_paulfellows_30->n77_a_paulfellows_31 n77_a_paulfellows_45 CONJP n77_a_paulfellows_30->n77_a_paulfellows_45 n77_a_paulfellows_32 D n77_a_paulfellows_31->n77_a_paulfellows_32 n77_a_paulfellows_34 ADJP n77_a_paulfellows_31->n77_a_paulfellows_34 n77_a_paulfellows_37 N n77_a_paulfellows_31->n77_a_paulfellows_37 n77_a_paulfellows_39 PP n77_a_paulfellows_31->n77_a_paulfellows_39 n77_a_paulfellows_32->n77_a_paulfellows_33 n77_a_paulfellows_35 ADJS n77_a_paulfellows_34->n77_a_paulfellows_35 n77_a_paulfellows_35->n77_a_paulfellows_36 n77_a_paulfellows_37->n77_a_paulfellows_38 n77_a_paulfellows_40 P-ROLE n77_a_paulfellows_39->n77_a_paulfellows_40 n77_a_paulfellows_42 NP n77_a_paulfellows_39->n77_a_paulfellows_42 n77_a_paulfellows_40->n77_a_paulfellows_41 n77_a_paulfellows_43 N n77_a_paulfellows_42->n77_a_paulfellows_43 n77_a_paulfellows_43->n77_a_paulfellows_44 n77_a_paulfellows_46 CONJ n77_a_paulfellows_45->n77_a_paulfellows_46 n77_a_paulfellows_48 NLYR n77_a_paulfellows_45->n77_a_paulfellows_48 n77_a_paulfellows_46->n77_a_paulfellows_47 n77_a_paulfellows_49 Q n77_a_paulfellows_48->n77_a_paulfellows_49 n77_a_paulfellows_51 ADJP n77_a_paulfellows_48->n77_a_paulfellows_51 n77_a_paulfellows_54 N n77_a_paulfellows_48->n77_a_paulfellows_54 n77_a_paulfellows_49->n77_a_paulfellows_50 n77_a_paulfellows_52 ADJ n77_a_paulfellows_51->n77_a_paulfellows_52 n77_a_paulfellows_52->n77_a_paulfellows_53 n77_a_paulfellows_54->n77_a_paulfellows_55 n77_a_paulfellows_56->n77_a_paulfellows_57 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (BED;_cat_Vg_ were;{be})
          (IP-PPL-CAT (ADVP-NIM (ADV absolutely;{absolutely}))
                      (VAG;_cat_Vt_ going;{go})
                      (IP-INF-CAT (TO to;{to})
                                  (HV;_cat_Vt_ have;{have})
                                  (IP-INF-CAT (TO to;{to})
                                              (VB;__ launch;{launch})
                                              (NP-OB1 (PRO it;{it}))
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (NLYR (NLYR (D the;{the})
                                                                      (ADJP (ADJS smallest;{small}))
                                                                      (N amount;{amount})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (N RAM;{ram}))))
                                                                (CONJP (CONJ and;{and})
                                                                       (NLYR (Q no;{no})
                                                                             (ADJP (ADJ hard;{hard}))
                                                                             (N drive;{drive})))))))))
          (PUNC .))
  (ID 77_a_paulfellows))