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_0015__RAM RAM r_0077_0007__to_r_0077_0008__launch->r_0077_0015__RAM [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_0011__the_r_0077_0013__amount->r_0077_0015__RAM of r_0077_0012__smallest smallest r_0077_0011__the_r_0077_0013__amount->r_0077_0012__smallest [attrib] 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_0015__RAM, 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_0019__drive drive 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_0019__drive [restriction] 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_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_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_0015__RAM RAM 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_0015__RAM [arg1] 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_0016__and->r_0077_0019__drive [conj2] 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_0011__the_r_0077_0013__amount->r_0077_0015__RAM of r_0077_0012__smallest smallest r_0077_0011__the_r_0077_0013__amount->r_0077_0012__smallest [attrib] 
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_3_ABSOLUTELY,R_77_16_AND,R_77_11_THE_AMOUNT,R_77_12_SMALLEST,R_77_15_RAM] :
          ( we(R_77_1_WE)
          & 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_15_RAM)
          & 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__1_1_1_1 We n77_a_paulfellows__1_2_1 were n77_a_paulfellows__1_3_1_1_1 absolutely n77_a_paulfellows__1_3_2_1 going n77_a_paulfellows__1_3_3_1_1 to n77_a_paulfellows__1_3_3_2_1 have n77_a_paulfellows__1_3_3_3_1_1 to n77_a_paulfellows__1_3_3_3_2_1 launch n77_a_paulfellows__1_3_3_3_3_1_1 it n77_a_paulfellows__1_3_3_3_4_1_1 with n77_a_paulfellows__1_3_3_3_4_2_1_1_1_1 the n77_a_paulfellows__1_3_3_3_4_2_1_1_2_1_1 smallest n77_a_paulfellows__1_3_3_3_4_2_1_1_3_1 amount n77_a_paulfellows__1_3_3_3_4_2_1_1_4_1_1 of n77_a_paulfellows__1_3_3_3_4_2_1_1_4_2_1_1 RAM n77_a_paulfellows__1_3_3_3_4_2_1_2_1_1 and n77_a_paulfellows__1_3_3_3_4_2_1_2_2_1_1 no n77_a_paulfellows__1_3_3_3_4_2_1_2_2_2_1_1 hard n77_a_paulfellows__1_3_3_3_4_2_1_2_2_3_1 drive n77_a_paulfellows__1_4_1 . n77_a_paulfellows__1 IP-MAT n77_a_paulfellows__1_1 NP-SBJ n77_a_paulfellows__1->n77_a_paulfellows__1_1 n77_a_paulfellows__1_2 BED;_cat_Vg_ n77_a_paulfellows__1->n77_a_paulfellows__1_2 n77_a_paulfellows__1_3 IP-PPL-CAT n77_a_paulfellows__1->n77_a_paulfellows__1_3 n77_a_paulfellows__1_4 PUNC n77_a_paulfellows__1->n77_a_paulfellows__1_4 n77_a_paulfellows__1_1_1 PRO n77_a_paulfellows__1_1->n77_a_paulfellows__1_1_1 n77_a_paulfellows__1_1_1->n77_a_paulfellows__1_1_1_1 n77_a_paulfellows__1_2->n77_a_paulfellows__1_2_1 n77_a_paulfellows__1_3_1 ADVP-NIM n77_a_paulfellows__1_3->n77_a_paulfellows__1_3_1 n77_a_paulfellows__1_3_2 VAG;_cat_Vt_ n77_a_paulfellows__1_3->n77_a_paulfellows__1_3_2 n77_a_paulfellows__1_3_3 IP-INF-CAT n77_a_paulfellows__1_3->n77_a_paulfellows__1_3_3 n77_a_paulfellows__1_3_1_1 ADV n77_a_paulfellows__1_3_1->n77_a_paulfellows__1_3_1_1 n77_a_paulfellows__1_3_1_1->n77_a_paulfellows__1_3_1_1_1 n77_a_paulfellows__1_3_2->n77_a_paulfellows__1_3_2_1 n77_a_paulfellows__1_3_3_1 TO n77_a_paulfellows__1_3_3->n77_a_paulfellows__1_3_3_1 n77_a_paulfellows__1_3_3_2 HV;_cat_Vt_ n77_a_paulfellows__1_3_3->n77_a_paulfellows__1_3_3_2 n77_a_paulfellows__1_3_3_3 IP-INF-CAT n77_a_paulfellows__1_3_3->n77_a_paulfellows__1_3_3_3 n77_a_paulfellows__1_3_3_1->n77_a_paulfellows__1_3_3_1_1 n77_a_paulfellows__1_3_3_2->n77_a_paulfellows__1_3_3_2_1 n77_a_paulfellows__1_3_3_3_1 TO n77_a_paulfellows__1_3_3_3->n77_a_paulfellows__1_3_3_3_1 n77_a_paulfellows__1_3_3_3_2 VB;__ n77_a_paulfellows__1_3_3_3->n77_a_paulfellows__1_3_3_3_2 n77_a_paulfellows__1_3_3_3_3 NP-OB1 n77_a_paulfellows__1_3_3_3->n77_a_paulfellows__1_3_3_3_3 n77_a_paulfellows__1_3_3_3_4 PP-NIM n77_a_paulfellows__1_3_3_3->n77_a_paulfellows__1_3_3_3_4 n77_a_paulfellows__1_3_3_3_1->n77_a_paulfellows__1_3_3_3_1_1 n77_a_paulfellows__1_3_3_3_2->n77_a_paulfellows__1_3_3_3_2_1 n77_a_paulfellows__1_3_3_3_3_1 PRO n77_a_paulfellows__1_3_3_3_3->n77_a_paulfellows__1_3_3_3_3_1 n77_a_paulfellows__1_3_3_3_3_1->n77_a_paulfellows__1_3_3_3_3_1_1 n77_a_paulfellows__1_3_3_3_4_1 P-ROLE n77_a_paulfellows__1_3_3_3_4->n77_a_paulfellows__1_3_3_3_4_1 n77_a_paulfellows__1_3_3_3_4_2 NP n77_a_paulfellows__1_3_3_3_4->n77_a_paulfellows__1_3_3_3_4_2 n77_a_paulfellows__1_3_3_3_4_1->n77_a_paulfellows__1_3_3_3_4_1_1 n77_a_paulfellows__1_3_3_3_4_2_1 NLYR n77_a_paulfellows__1_3_3_3_4_2->n77_a_paulfellows__1_3_3_3_4_2_1 n77_a_paulfellows__1_3_3_3_4_2_1_1 NLYR n77_a_paulfellows__1_3_3_3_4_2_1->n77_a_paulfellows__1_3_3_3_4_2_1_1 n77_a_paulfellows__1_3_3_3_4_2_1_2 CONJP n77_a_paulfellows__1_3_3_3_4_2_1->n77_a_paulfellows__1_3_3_3_4_2_1_2 n77_a_paulfellows__1_3_3_3_4_2_1_1_1 D n77_a_paulfellows__1_3_3_3_4_2_1_1->n77_a_paulfellows__1_3_3_3_4_2_1_1_1 n77_a_paulfellows__1_3_3_3_4_2_1_1_2 ADJP n77_a_paulfellows__1_3_3_3_4_2_1_1->n77_a_paulfellows__1_3_3_3_4_2_1_1_2 n77_a_paulfellows__1_3_3_3_4_2_1_1_3 N n77_a_paulfellows__1_3_3_3_4_2_1_1->n77_a_paulfellows__1_3_3_3_4_2_1_1_3 n77_a_paulfellows__1_3_3_3_4_2_1_1_4 PP n77_a_paulfellows__1_3_3_3_4_2_1_1->n77_a_paulfellows__1_3_3_3_4_2_1_1_4 n77_a_paulfellows__1_3_3_3_4_2_1_1_1->n77_a_paulfellows__1_3_3_3_4_2_1_1_1_1 n77_a_paulfellows__1_3_3_3_4_2_1_1_2_1 ADJS n77_a_paulfellows__1_3_3_3_4_2_1_1_2->n77_a_paulfellows__1_3_3_3_4_2_1_1_2_1 n77_a_paulfellows__1_3_3_3_4_2_1_1_2_1->n77_a_paulfellows__1_3_3_3_4_2_1_1_2_1_1 n77_a_paulfellows__1_3_3_3_4_2_1_1_3->n77_a_paulfellows__1_3_3_3_4_2_1_1_3_1 n77_a_paulfellows__1_3_3_3_4_2_1_1_4_1 P-ROLE n77_a_paulfellows__1_3_3_3_4_2_1_1_4->n77_a_paulfellows__1_3_3_3_4_2_1_1_4_1 n77_a_paulfellows__1_3_3_3_4_2_1_1_4_2 NP n77_a_paulfellows__1_3_3_3_4_2_1_1_4->n77_a_paulfellows__1_3_3_3_4_2_1_1_4_2 n77_a_paulfellows__1_3_3_3_4_2_1_1_4_1->n77_a_paulfellows__1_3_3_3_4_2_1_1_4_1_1 n77_a_paulfellows__1_3_3_3_4_2_1_1_4_2_1 N n77_a_paulfellows__1_3_3_3_4_2_1_1_4_2->n77_a_paulfellows__1_3_3_3_4_2_1_1_4_2_1 n77_a_paulfellows__1_3_3_3_4_2_1_1_4_2_1->n77_a_paulfellows__1_3_3_3_4_2_1_1_4_2_1_1 n77_a_paulfellows__1_3_3_3_4_2_1_2_1 CONJ n77_a_paulfellows__1_3_3_3_4_2_1_2->n77_a_paulfellows__1_3_3_3_4_2_1_2_1 n77_a_paulfellows__1_3_3_3_4_2_1_2_2 NLYR n77_a_paulfellows__1_3_3_3_4_2_1_2->n77_a_paulfellows__1_3_3_3_4_2_1_2_2 n77_a_paulfellows__1_3_3_3_4_2_1_2_1->n77_a_paulfellows__1_3_3_3_4_2_1_2_1_1 n77_a_paulfellows__1_3_3_3_4_2_1_2_2_1 Q n77_a_paulfellows__1_3_3_3_4_2_1_2_2->n77_a_paulfellows__1_3_3_3_4_2_1_2_2_1 n77_a_paulfellows__1_3_3_3_4_2_1_2_2_2 ADJP n77_a_paulfellows__1_3_3_3_4_2_1_2_2->n77_a_paulfellows__1_3_3_3_4_2_1_2_2_2 n77_a_paulfellows__1_3_3_3_4_2_1_2_2_3 N n77_a_paulfellows__1_3_3_3_4_2_1_2_2->n77_a_paulfellows__1_3_3_3_4_2_1_2_2_3 n77_a_paulfellows__1_3_3_3_4_2_1_2_2_1->n77_a_paulfellows__1_3_3_3_4_2_1_2_2_1_1 n77_a_paulfellows__1_3_3_3_4_2_1_2_2_2_1 ADJ n77_a_paulfellows__1_3_3_3_4_2_1_2_2_2->n77_a_paulfellows__1_3_3_3_4_2_1_2_2_2_1 n77_a_paulfellows__1_3_3_3_4_2_1_2_2_2_1->n77_a_paulfellows__1_3_3_3_4_2_1_2_2_2_1_1 n77_a_paulfellows__1_3_3_3_4_2_1_2_2_3->n77_a_paulfellows__1_3_3_3_4_2_1_2_2_3_1 n77_a_paulfellows__1_4->n77_a_paulfellows__1_4_1 
( (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))