Context                Previous, Next                Top


74_a_paulfellows
When the fourth one started the system started to engage virtual memory and started swapping, on a 4 MB machine and the hands on the clock started ticking once every 16 seconds.

%3 r_0074_0001__When When r_0074_0005__started started r_0074_0001__When->r_0074_0005__started [restriction] r_0074_0022__and and r_0074_0001__When->r_0074_0022__and [scope] r_0074_0002__the_r_0074_0004__one the one r_0074_0005__started->r_0074_0002__the_r_0074_0004__one [arg0] r_0074_0013__and and r_0074_0022__and->r_0074_0013__and [conj1] r_0074_0031__every_quant every [quant] r_0074_0022__and->r_0074_0031__every_quant [conj2] r_0074_0003__fourth fourth r_0074_0002__the_r_0074_0004__one->r_0074_0003__fourth [attrib] r_0074_0008__started started r_0074_0009__to_r_0074_0010__engage to engage r_0074_0008__started->r_0074_0009__to_r_0074_0010__engage [scope] r_0074_0006__the_r_0074_0007__system the system r_0074_0009__to_r_0074_0010__engage->r_0074_0006__the_r_0074_0007__system [arg0] r_0074_0012__memory memory r_0074_0009__to_r_0074_0010__engage->r_0074_0012__memory [arg1] r_0074_0011__virtual virtual r_0074_0012__memory->r_0074_0011__virtual [attrib] r_0074_0013__and->r_0074_0008__started [conj1] r_0074_0014__started started r_0074_0013__and->r_0074_0014__started [conj2] r_0074_0015__swapping swapping r_0074_0014__started->r_0074_0015__swapping [scope] r_0074_0015__swapping->r_0074_0006__the_r_0074_0007__system [arg0] r_0074_0018__a_r_0074_0019__4_r_0074_0020__MB_r_0074_0021__machine a 4 MB machine r_0074_0015__swapping->r_0074_0018__a_r_0074_0019__4_r_0074_0020__MB_r_0074_0021__machine on [nim] r_0074_0028__started started r_0074_0031__every_quant->r_0074_0028__started [scope] r_0074_0032__16_r_0074_0033__seconds 16 seconds r_0074_0031__every_quant->r_0074_0032__16_r_0074_0033__seconds [restriction] r_0074_0023__the_r_0074_0024__hands the hands r_0074_0026__the_r_0074_0027__clock the clock r_0074_0023__the_r_0074_0024__hands->r_0074_0026__the_r_0074_0027__clock on r_0074_0029__ticking ticking r_0074_0028__started->r_0074_0029__ticking [scope] r_0074_0030__once once r_0074_0028__started->r_0074_0030__once [nim] r_0074_0028__started->r_0074_0032__16_r_0074_0033__seconds [nim] r_0074_0029__ticking->r_0074_0023__the_r_0074_0024__hands [arg0] 
arc(r_0074_0001__When, r_0074_0005__started, restriction).
arc(r_0074_0001__When, r_0074_0022__and, scope).
arc(r_0074_0002__the_r_0074_0004__one, r_0074_0003__fourth, attrib9).
arc(r_0074_0005__started, r_0074_0002__the_r_0074_0004__one, arg0).
arc(r_0074_0008__started, r_0074_0009__to_r_0074_0010__engage, scope).
arc(r_0074_0009__to_r_0074_0010__engage, r_0074_0006__the_r_0074_0007__system, arg0).
arc(r_0074_0009__to_r_0074_0010__engage, r_0074_0012__memory, arg1).
arc(r_0074_0012__memory, r_0074_0011__virtual, attrib33).
arc(r_0074_0013__and, r_0074_0008__started, conj1).
arc(r_0074_0013__and, r_0074_0014__started, conj2).
arc(r_0074_0014__started, r_0074_0015__swapping, scope).
arc(r_0074_0015__swapping, r_0074_0006__the_r_0074_0007__system, arg0).
arc(r_0074_0015__swapping, r_0074_0018__a_r_0074_0019__4_r_0074_0020__MB_r_0074_0021__machine, r_0074_0017__on_nim52).
arc(r_0074_0022__and, r_0074_0013__and, conj1).
arc(r_0074_0022__and, r_0074_0031__every_quant, conj2).
arc(r_0074_0023__the_r_0074_0024__hands, r_0074_0026__the_r_0074_0027__clock, r_0074_0025__on).
arc(r_0074_0028__started, r_0074_0029__ticking, scope).
arc(r_0074_0028__started, r_0074_0030__once, nim83).
arc(r_0074_0028__started, r_0074_0032__16_r_0074_0033__seconds, nim86).
arc(r_0074_0029__ticking, r_0074_0023__the_r_0074_0024__hands, arg0).
arc(r_0074_0031__every_quant, r_0074_0028__started, scope).
arc(r_0074_0031__every_quant, r_0074_0032__16_r_0074_0033__seconds, restriction).


%3 r_0074_0031__every_quant every [quant] r_0074_0032__16_r_0074_0033__seconds 16 seconds r_0074_0031__every_quant->r_0074_0032__16_r_0074_0033__seconds [restriction] r_0074_0028__started_r_0074_0029__ticking started ticking r_0074_0031__every_quant->r_0074_0028__started_r_0074_0029__ticking [scope] r_0074_0028__started_r_0074_0029__ticking->r_0074_0032__16_r_0074_0033__seconds [nim] r_0074_0023__the_r_0074_0024__hands the hands r_0074_0028__started_r_0074_0029__ticking->r_0074_0023__the_r_0074_0024__hands [arg0] r_0074_0030__once once r_0074_0028__started_r_0074_0029__ticking->r_0074_0030__once [nim] r_0074_0026__the_r_0074_0027__clock the clock r_0074_0023__the_r_0074_0024__hands->r_0074_0026__the_r_0074_0027__clock on r_0074_0022__and and r_0074_0022__and->r_0074_0031__every_quant [conj2] r_0074_0013__and and r_0074_0022__and->r_0074_0013__and [conj1] r_0074_0014__started_r_0074_0015__swapping started swapping r_0074_0013__and->r_0074_0014__started_r_0074_0015__swapping [conj2] r_0074_0008__started_r_0074_0009__to_r_0074_0010__engage started to engage r_0074_0013__and->r_0074_0008__started_r_0074_0009__to_r_0074_0010__engage [conj1] r_0074_0018__a_r_0074_0019__4_r_0074_0020__MB_r_0074_0021__machine a 4 MB machine r_0074_0014__started_r_0074_0015__swapping->r_0074_0018__a_r_0074_0019__4_r_0074_0020__MB_r_0074_0021__machine on [nim] r_0074_0006__the_r_0074_0007__system the system r_0074_0014__started_r_0074_0015__swapping->r_0074_0006__the_r_0074_0007__system [arg0] r_0074_0008__started_r_0074_0009__to_r_0074_0010__engage->r_0074_0006__the_r_0074_0007__system [arg0] r_0074_0012__memory memory r_0074_0008__started_r_0074_0009__to_r_0074_0010__engage->r_0074_0012__memory [arg1] r_0074_0011__virtual virtual r_0074_0012__memory->r_0074_0011__virtual [attrib] r_0074_0005__started started r_0074_0002__the_r_0074_0004__one the one r_0074_0005__started->r_0074_0002__the_r_0074_0004__one [arg0] r_0074_0003__fourth fourth r_0074_0002__the_r_0074_0004__one->r_0074_0003__fourth [attrib] r_0074_0001__When When r_0074_0001__When->r_0074_0022__and [scope] r_0074_0001__When->r_0074_0005__started [restriction] 
fof(formula,axiom,
    ! [R_74_5_STARTED,R_74_2_THE_ONE,R_74_3_FOURTH] :
      ( ( fourth(R_74_3_FOURTH)
        & started(R_74_5_STARTED,R_74_2_THE_ONE)
        & the_one(R_74_2_THE_ONE)
        & attrib9(R_74_2_THE_ONE,R_74_3_FOURTH) )
     => ? [R_74_22_AND,R_74_13_AND,R_74_8_STARTED_TO_ENGAGE,R_74_12_MEMORY,R_74_11_VIRTUAL,R_74_14_STARTED_SWAPPING,R_74_6_THE_SYSTEM,R_74_18_A_4_MB_MACHINE] :
          ( virtual(R_74_11_VIRTUAL)
          & the_system(R_74_6_THE_SYSTEM)
          & a_4_MB_machine(R_74_18_A_4_MB_MACHINE)
          & ! [R_74_32_16_SECONDS] :
              ( 16_seconds(R_74_32_16_SECONDS)
             => ? [R_74_28_STARTED_TICKING,R_74_23_THE_HANDS,R_74_26_THE_CLOCK,R_74_30_ONCE] :
                  ( the_clock(R_74_26_THE_CLOCK)
                  & once(R_74_30_ONCE)
                  & started_ticking(R_74_28_STARTED_TICKING,R_74_23_THE_HANDS)
                  & the_hands(R_74_23_THE_HANDS)
                  & on(R_74_23_THE_HANDS,R_74_26_THE_CLOCK)
                  & nim83(R_74_28_STARTED_TICKING,R_74_30_ONCE)
                  & nim86(R_74_28_STARTED_TICKING,R_74_32_16_SECONDS) ) )
          & conj2(CONJ2)
          & and(R_74_22_AND)
          & conj1(R_74_22_AND,R_74_13_AND)
          & and(R_74_13_AND)
          & conj1(R_74_13_AND,R_74_8_STARTED_TO_ENGAGE)
          & started_to_engage(R_74_8_STARTED_TO_ENGAGE,R_74_6_THE_SYSTEM,R_74_12_MEMORY)
          & memory(R_74_12_MEMORY)
          & attrib33(R_74_12_MEMORY,R_74_11_VIRTUAL)
          & conj2(R_74_13_AND,R_74_14_STARTED_SWAPPING)
          & started_swapping(R_74_14_STARTED_SWAPPING,R_74_6_THE_SYSTEM)
          & on_nim52(R_74_14_STARTED_SWAPPING,R_74_18_A_4_MB_MACHINE) ) ) ).


n74_a_paulfellows n74_a_paulfellows__1_1_1_1 When n74_a_paulfellows__1_1_2_1_1_1 the n74_a_paulfellows__1_1_2_1_2_1_1 fourth n74_a_paulfellows__1_1_2_1_3_1 one n74_a_paulfellows__1_1_2_2_1 started n74_a_paulfellows__1_2_1_1_1_1 the n74_a_paulfellows__1_2_1_1_2_1 system n74_a_paulfellows__1_2_1_2_1_1_1 started n74_a_paulfellows__1_2_1_2_1_2_1_1 to n74_a_paulfellows__1_2_1_2_1_2_2_1 engage n74_a_paulfellows__1_2_1_2_1_2_3_1_1_1 virtual n74_a_paulfellows__1_2_1_2_1_2_3_2_1 memory n74_a_paulfellows__1_2_1_2_2_1_1 and n74_a_paulfellows__1_2_1_2_2_2_1_1 started n74_a_paulfellows__1_2_1_2_2_2_2_1_1 swapping n74_a_paulfellows__1_2_1_2_2_2_2_2_1 , n74_a_paulfellows__1_2_1_2_2_2_2_3_1_1 on n74_a_paulfellows__1_2_1_2_2_2_2_3_2_1_1 a n74_a_paulfellows__1_2_1_2_2_2_2_3_2_2_1 4 n74_a_paulfellows__1_2_1_2_2_2_2_3_2_3_1 MB n74_a_paulfellows__1_2_1_2_2_2_2_3_2_4_1 machine n74_a_paulfellows__1_2_2_1_1 and n74_a_paulfellows__1_2_2_2_1_1_1 the n74_a_paulfellows__1_2_2_2_1_2_1 hands n74_a_paulfellows__1_2_2_2_1_3_1_1 on n74_a_paulfellows__1_2_2_2_1_3_2_1_1 the n74_a_paulfellows__1_2_2_2_1_3_2_2_1 clock n74_a_paulfellows__1_2_2_2_2_1 started n74_a_paulfellows__1_2_2_2_3_1_1 ticking n74_a_paulfellows__1_2_2_2_4_1_1 once n74_a_paulfellows__1_2_2_2_5_1_1 every n74_a_paulfellows__1_2_2_2_5_2_1 16 n74_a_paulfellows__1_2_2_2_5_3_1 seconds n74_a_paulfellows__1_3_1 . n74_a_paulfellows__1 IP-MAT n74_a_paulfellows__1_1 PP-SCON n74_a_paulfellows__1->n74_a_paulfellows__1_1 n74_a_paulfellows__1_2 ILYR n74_a_paulfellows__1->n74_a_paulfellows__1_2 n74_a_paulfellows__1_3 PUNC n74_a_paulfellows__1->n74_a_paulfellows__1_3 n74_a_paulfellows__1_1_1 P-CONN n74_a_paulfellows__1_1->n74_a_paulfellows__1_1_1 n74_a_paulfellows__1_1_2 IP-ADV n74_a_paulfellows__1_1->n74_a_paulfellows__1_1_2 n74_a_paulfellows__1_1_1->n74_a_paulfellows__1_1_1_1 n74_a_paulfellows__1_1_2_1 NP-SBJ n74_a_paulfellows__1_1_2->n74_a_paulfellows__1_1_2_1 n74_a_paulfellows__1_1_2_2 VBD;_I_ n74_a_paulfellows__1_1_2->n74_a_paulfellows__1_1_2_2 n74_a_paulfellows__1_1_2_1_1 D n74_a_paulfellows__1_1_2_1->n74_a_paulfellows__1_1_2_1_1 n74_a_paulfellows__1_1_2_1_2 ADJP n74_a_paulfellows__1_1_2_1->n74_a_paulfellows__1_1_2_1_2 n74_a_paulfellows__1_1_2_1_3 N n74_a_paulfellows__1_1_2_1->n74_a_paulfellows__1_1_2_1_3 n74_a_paulfellows__1_1_2_1_1->n74_a_paulfellows__1_1_2_1_1_1 n74_a_paulfellows__1_1_2_1_2_1 ADJ n74_a_paulfellows__1_1_2_1_2->n74_a_paulfellows__1_1_2_1_2_1 n74_a_paulfellows__1_1_2_1_2_1->n74_a_paulfellows__1_1_2_1_2_1_1 n74_a_paulfellows__1_1_2_1_3->n74_a_paulfellows__1_1_2_1_3_1 n74_a_paulfellows__1_1_2_2->n74_a_paulfellows__1_1_2_2_1 n74_a_paulfellows__1_2_1 ILYR n74_a_paulfellows__1_2->n74_a_paulfellows__1_2_1 n74_a_paulfellows__1_2_2 CONJP n74_a_paulfellows__1_2->n74_a_paulfellows__1_2_2 n74_a_paulfellows__1_2_1_1 NP-SBJ n74_a_paulfellows__1_2_1->n74_a_paulfellows__1_2_1_1 n74_a_paulfellows__1_2_1_2 ILYR n74_a_paulfellows__1_2_1->n74_a_paulfellows__1_2_1_2 n74_a_paulfellows__1_2_1_1_1 D n74_a_paulfellows__1_2_1_1->n74_a_paulfellows__1_2_1_1_1 n74_a_paulfellows__1_2_1_1_2 N n74_a_paulfellows__1_2_1_1->n74_a_paulfellows__1_2_1_1_2 n74_a_paulfellows__1_2_1_1_1->n74_a_paulfellows__1_2_1_1_1_1 n74_a_paulfellows__1_2_1_1_2->n74_a_paulfellows__1_2_1_1_2_1 n74_a_paulfellows__1_2_1_2_1 ILYR n74_a_paulfellows__1_2_1_2->n74_a_paulfellows__1_2_1_2_1 n74_a_paulfellows__1_2_1_2_2 CONJP n74_a_paulfellows__1_2_1_2->n74_a_paulfellows__1_2_1_2_2 n74_a_paulfellows__1_2_1_2_1_1 VBD;_cat_Vt_ n74_a_paulfellows__1_2_1_2_1->n74_a_paulfellows__1_2_1_2_1_1 n74_a_paulfellows__1_2_1_2_1_2 IP-INF-CAT n74_a_paulfellows__1_2_1_2_1->n74_a_paulfellows__1_2_1_2_1_2 n74_a_paulfellows__1_2_1_2_1_1->n74_a_paulfellows__1_2_1_2_1_1_1 n74_a_paulfellows__1_2_1_2_1_2_1 TO n74_a_paulfellows__1_2_1_2_1_2->n74_a_paulfellows__1_2_1_2_1_2_1 n74_a_paulfellows__1_2_1_2_1_2_2 VB;_Tn_ n74_a_paulfellows__1_2_1_2_1_2->n74_a_paulfellows__1_2_1_2_1_2_2 n74_a_paulfellows__1_2_1_2_1_2_3 NP-OB1 n74_a_paulfellows__1_2_1_2_1_2->n74_a_paulfellows__1_2_1_2_1_2_3 n74_a_paulfellows__1_2_1_2_1_2_1->n74_a_paulfellows__1_2_1_2_1_2_1_1 n74_a_paulfellows__1_2_1_2_1_2_2->n74_a_paulfellows__1_2_1_2_1_2_2_1 n74_a_paulfellows__1_2_1_2_1_2_3_1 ADJP n74_a_paulfellows__1_2_1_2_1_2_3->n74_a_paulfellows__1_2_1_2_1_2_3_1 n74_a_paulfellows__1_2_1_2_1_2_3_2 N n74_a_paulfellows__1_2_1_2_1_2_3->n74_a_paulfellows__1_2_1_2_1_2_3_2 n74_a_paulfellows__1_2_1_2_1_2_3_1_1 ADJ n74_a_paulfellows__1_2_1_2_1_2_3_1->n74_a_paulfellows__1_2_1_2_1_2_3_1_1 n74_a_paulfellows__1_2_1_2_1_2_3_1_1->n74_a_paulfellows__1_2_1_2_1_2_3_1_1_1 n74_a_paulfellows__1_2_1_2_1_2_3_2->n74_a_paulfellows__1_2_1_2_1_2_3_2_1 n74_a_paulfellows__1_2_1_2_2_1 CONJ n74_a_paulfellows__1_2_1_2_2->n74_a_paulfellows__1_2_1_2_2_1 n74_a_paulfellows__1_2_1_2_2_2 ILYR n74_a_paulfellows__1_2_1_2_2->n74_a_paulfellows__1_2_1_2_2_2 n74_a_paulfellows__1_2_1_2_2_1->n74_a_paulfellows__1_2_1_2_2_1_1 n74_a_paulfellows__1_2_1_2_2_2_1 VBD;_cat_Vg_ n74_a_paulfellows__1_2_1_2_2_2->n74_a_paulfellows__1_2_1_2_2_2_1 n74_a_paulfellows__1_2_1_2_2_2_2 IP-PPL-CAT n74_a_paulfellows__1_2_1_2_2_2->n74_a_paulfellows__1_2_1_2_2_2_2 n74_a_paulfellows__1_2_1_2_2_2_1->n74_a_paulfellows__1_2_1_2_2_2_1_1 n74_a_paulfellows__1_2_1_2_2_2_2_1 VAG;_I_ n74_a_paulfellows__1_2_1_2_2_2_2->n74_a_paulfellows__1_2_1_2_2_2_2_1 n74_a_paulfellows__1_2_1_2_2_2_2_2 PUNC n74_a_paulfellows__1_2_1_2_2_2_2->n74_a_paulfellows__1_2_1_2_2_2_2_2 n74_a_paulfellows__1_2_1_2_2_2_2_3 PP-NIM n74_a_paulfellows__1_2_1_2_2_2_2->n74_a_paulfellows__1_2_1_2_2_2_2_3 n74_a_paulfellows__1_2_1_2_2_2_2_1->n74_a_paulfellows__1_2_1_2_2_2_2_1_1 n74_a_paulfellows__1_2_1_2_2_2_2_2->n74_a_paulfellows__1_2_1_2_2_2_2_2_1 n74_a_paulfellows__1_2_1_2_2_2_2_3_1 P-ROLE n74_a_paulfellows__1_2_1_2_2_2_2_3->n74_a_paulfellows__1_2_1_2_2_2_2_3_1 n74_a_paulfellows__1_2_1_2_2_2_2_3_2 NP n74_a_paulfellows__1_2_1_2_2_2_2_3->n74_a_paulfellows__1_2_1_2_2_2_2_3_2 n74_a_paulfellows__1_2_1_2_2_2_2_3_1->n74_a_paulfellows__1_2_1_2_2_2_2_3_1_1 n74_a_paulfellows__1_2_1_2_2_2_2_3_2_1 D n74_a_paulfellows__1_2_1_2_2_2_2_3_2->n74_a_paulfellows__1_2_1_2_2_2_2_3_2_1 n74_a_paulfellows__1_2_1_2_2_2_2_3_2_2 NUM n74_a_paulfellows__1_2_1_2_2_2_2_3_2->n74_a_paulfellows__1_2_1_2_2_2_2_3_2_2 n74_a_paulfellows__1_2_1_2_2_2_2_3_2_3 N n74_a_paulfellows__1_2_1_2_2_2_2_3_2->n74_a_paulfellows__1_2_1_2_2_2_2_3_2_3 n74_a_paulfellows__1_2_1_2_2_2_2_3_2_4 N n74_a_paulfellows__1_2_1_2_2_2_2_3_2->n74_a_paulfellows__1_2_1_2_2_2_2_3_2_4 n74_a_paulfellows__1_2_1_2_2_2_2_3_2_1->n74_a_paulfellows__1_2_1_2_2_2_2_3_2_1_1 n74_a_paulfellows__1_2_1_2_2_2_2_3_2_2->n74_a_paulfellows__1_2_1_2_2_2_2_3_2_2_1 n74_a_paulfellows__1_2_1_2_2_2_2_3_2_3->n74_a_paulfellows__1_2_1_2_2_2_2_3_2_3_1 n74_a_paulfellows__1_2_1_2_2_2_2_3_2_4->n74_a_paulfellows__1_2_1_2_2_2_2_3_2_4_1 n74_a_paulfellows__1_2_2_1 CONJ n74_a_paulfellows__1_2_2->n74_a_paulfellows__1_2_2_1 n74_a_paulfellows__1_2_2_2 ILYR n74_a_paulfellows__1_2_2->n74_a_paulfellows__1_2_2_2 n74_a_paulfellows__1_2_2_1->n74_a_paulfellows__1_2_2_1_1 n74_a_paulfellows__1_2_2_2_1 NP-SBJ n74_a_paulfellows__1_2_2_2->n74_a_paulfellows__1_2_2_2_1 n74_a_paulfellows__1_2_2_2_2 VBD;_cat_Vg_ n74_a_paulfellows__1_2_2_2->n74_a_paulfellows__1_2_2_2_2 n74_a_paulfellows__1_2_2_2_3 IP-PPL-CAT n74_a_paulfellows__1_2_2_2->n74_a_paulfellows__1_2_2_2_3 n74_a_paulfellows__1_2_2_2_4 ADVP-NIM n74_a_paulfellows__1_2_2_2->n74_a_paulfellows__1_2_2_2_4 n74_a_paulfellows__1_2_2_2_5 NP-NIM n74_a_paulfellows__1_2_2_2->n74_a_paulfellows__1_2_2_2_5 n74_a_paulfellows__1_2_2_2_1_1 D n74_a_paulfellows__1_2_2_2_1->n74_a_paulfellows__1_2_2_2_1_1 n74_a_paulfellows__1_2_2_2_1_2 NS n74_a_paulfellows__1_2_2_2_1->n74_a_paulfellows__1_2_2_2_1_2 n74_a_paulfellows__1_2_2_2_1_3 PP n74_a_paulfellows__1_2_2_2_1->n74_a_paulfellows__1_2_2_2_1_3 n74_a_paulfellows__1_2_2_2_1_1->n74_a_paulfellows__1_2_2_2_1_1_1 n74_a_paulfellows__1_2_2_2_1_2->n74_a_paulfellows__1_2_2_2_1_2_1 n74_a_paulfellows__1_2_2_2_1_3_1 P-ROLE n74_a_paulfellows__1_2_2_2_1_3->n74_a_paulfellows__1_2_2_2_1_3_1 n74_a_paulfellows__1_2_2_2_1_3_2 NP n74_a_paulfellows__1_2_2_2_1_3->n74_a_paulfellows__1_2_2_2_1_3_2 n74_a_paulfellows__1_2_2_2_1_3_1->n74_a_paulfellows__1_2_2_2_1_3_1_1 n74_a_paulfellows__1_2_2_2_1_3_2_1 D n74_a_paulfellows__1_2_2_2_1_3_2->n74_a_paulfellows__1_2_2_2_1_3_2_1 n74_a_paulfellows__1_2_2_2_1_3_2_2 N n74_a_paulfellows__1_2_2_2_1_3_2->n74_a_paulfellows__1_2_2_2_1_3_2_2 n74_a_paulfellows__1_2_2_2_1_3_2_1->n74_a_paulfellows__1_2_2_2_1_3_2_1_1 n74_a_paulfellows__1_2_2_2_1_3_2_2->n74_a_paulfellows__1_2_2_2_1_3_2_2_1 n74_a_paulfellows__1_2_2_2_2->n74_a_paulfellows__1_2_2_2_2_1 n74_a_paulfellows__1_2_2_2_3_1 VAG;_I_ n74_a_paulfellows__1_2_2_2_3->n74_a_paulfellows__1_2_2_2_3_1 n74_a_paulfellows__1_2_2_2_3_1->n74_a_paulfellows__1_2_2_2_3_1_1 n74_a_paulfellows__1_2_2_2_4_1 ADV n74_a_paulfellows__1_2_2_2_4->n74_a_paulfellows__1_2_2_2_4_1 n74_a_paulfellows__1_2_2_2_4_1->n74_a_paulfellows__1_2_2_2_4_1_1 n74_a_paulfellows__1_2_2_2_5_1 Q n74_a_paulfellows__1_2_2_2_5->n74_a_paulfellows__1_2_2_2_5_1 n74_a_paulfellows__1_2_2_2_5_2 NUM n74_a_paulfellows__1_2_2_2_5->n74_a_paulfellows__1_2_2_2_5_2 n74_a_paulfellows__1_2_2_2_5_3 NS n74_a_paulfellows__1_2_2_2_5->n74_a_paulfellows__1_2_2_2_5_3 n74_a_paulfellows__1_2_2_2_5_1->n74_a_paulfellows__1_2_2_2_5_1_1 n74_a_paulfellows__1_2_2_2_5_2->n74_a_paulfellows__1_2_2_2_5_2_1 n74_a_paulfellows__1_2_2_2_5_3->n74_a_paulfellows__1_2_2_2_5_3_1 n74_a_paulfellows__1_3->n74_a_paulfellows__1_3_1 
( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (ADJP (ADJ fourth;{fourth}))
                                   (N one;{one}))
                           (VBD;_I_ started;{start})))
          (ILYR (ILYR (NP-SBJ (D the;{the})
                              (N system;{system}))
                      (ILYR (ILYR (VBD;_cat_Vt_ started;{start})
                                  (IP-INF-CAT (TO to;{to})
                                              (VB;_Tn_ engage;{engage})
                                              (NP-OB1 (ADJP (ADJ virtual;{virtual}))
                                                      (N memory;{memory}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VBD;_cat_Vg_ started;{start})
                                         (IP-PPL-CAT (VAG;_I_ swapping;{swap})
                                                     (PUNC ,)
                                                     (PP-NIM (P-ROLE on;{on})
                                                             (NP (D a;{a})
                                                                 (NUM 4)
                                                                 (N MB)
                                                                 (N machine;{machine}))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (NS hands;{hand})
                                     (PP (P-ROLE on;{on})
                                         (NP (D the;{the})
                                             (N clock;{clock}))))
                             (VBD;_cat_Vg_ started;{start})
                             (IP-PPL-CAT (VAG;_I_ ticking;{tick}))
                             (ADVP-NIM (ADV once;{once}))
                             (NP-NIM (Q every;{every})
                                     (NUM 16)
                                     (NS seconds;{second})))))
          (PUNC .))
  (ID 74_a_paulfellows))