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_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_r_0074_0009__to_r_0074_0010__engage started to engage r_0074_0006__the_r_0074_0007__system the system 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_0013__and->r_0074_0008__started_r_0074_0009__to_r_0074_0010__engage [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_0014__started_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_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_0028__started_r_0074_0029__ticking started ticking r_0074_0031__every_quant->r_0074_0028__started_r_0074_0029__ticking [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_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_0028__started_r_0074_0029__ticking->r_0074_0032__16_r_0074_0033__seconds [nim] 
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_4 When n74_a_paulfellows_8 the n74_a_paulfellows_11 fourth n74_a_paulfellows_13 one n74_a_paulfellows_15 started n74_a_paulfellows_20 the n74_a_paulfellows_22 system n74_a_paulfellows_26 started n74_a_paulfellows_29 to n74_a_paulfellows_31 engage n74_a_paulfellows_35 virtual n74_a_paulfellows_37 memory n74_a_paulfellows_40 and n74_a_paulfellows_43 started n74_a_paulfellows_46 swapping n74_a_paulfellows_48 , n74_a_paulfellows_51 on n74_a_paulfellows_54 a n74_a_paulfellows_56 4 n74_a_paulfellows_58 MB n74_a_paulfellows_60 machine n74_a_paulfellows_63 and n74_a_paulfellows_67 the n74_a_paulfellows_69 hands n74_a_paulfellows_72 on n74_a_paulfellows_75 the n74_a_paulfellows_77 clock n74_a_paulfellows_79 started n74_a_paulfellows_82 ticking n74_a_paulfellows_85 once n74_a_paulfellows_88 every n74_a_paulfellows_90 16 n74_a_paulfellows_92 seconds n74_a_paulfellows_94 . n74_a_paulfellows_1 IP-MAT n74_a_paulfellows_2 PP-SCON n74_a_paulfellows_1->n74_a_paulfellows_2 n74_a_paulfellows_16 ILYR n74_a_paulfellows_1->n74_a_paulfellows_16 n74_a_paulfellows_93 PUNC n74_a_paulfellows_1->n74_a_paulfellows_93 n74_a_paulfellows_3 P-CONN n74_a_paulfellows_2->n74_a_paulfellows_3 n74_a_paulfellows_5 IP-ADV n74_a_paulfellows_2->n74_a_paulfellows_5 n74_a_paulfellows_3->n74_a_paulfellows_4 n74_a_paulfellows_6 NP-SBJ n74_a_paulfellows_5->n74_a_paulfellows_6 n74_a_paulfellows_14 VBD;_I_ n74_a_paulfellows_5->n74_a_paulfellows_14 n74_a_paulfellows_7 D n74_a_paulfellows_6->n74_a_paulfellows_7 n74_a_paulfellows_9 ADJP n74_a_paulfellows_6->n74_a_paulfellows_9 n74_a_paulfellows_12 N n74_a_paulfellows_6->n74_a_paulfellows_12 n74_a_paulfellows_7->n74_a_paulfellows_8 n74_a_paulfellows_10 ADJ n74_a_paulfellows_9->n74_a_paulfellows_10 n74_a_paulfellows_10->n74_a_paulfellows_11 n74_a_paulfellows_12->n74_a_paulfellows_13 n74_a_paulfellows_14->n74_a_paulfellows_15 n74_a_paulfellows_17 ILYR n74_a_paulfellows_16->n74_a_paulfellows_17 n74_a_paulfellows_61 CONJP n74_a_paulfellows_16->n74_a_paulfellows_61 n74_a_paulfellows_18 NP-SBJ n74_a_paulfellows_17->n74_a_paulfellows_18 n74_a_paulfellows_23 ILYR n74_a_paulfellows_17->n74_a_paulfellows_23 n74_a_paulfellows_19 D n74_a_paulfellows_18->n74_a_paulfellows_19 n74_a_paulfellows_21 N n74_a_paulfellows_18->n74_a_paulfellows_21 n74_a_paulfellows_19->n74_a_paulfellows_20 n74_a_paulfellows_21->n74_a_paulfellows_22 n74_a_paulfellows_24 ILYR n74_a_paulfellows_23->n74_a_paulfellows_24 n74_a_paulfellows_38 CONJP n74_a_paulfellows_23->n74_a_paulfellows_38 n74_a_paulfellows_25 VBD;_cat_Vt_ n74_a_paulfellows_24->n74_a_paulfellows_25 n74_a_paulfellows_27 IP-INF-CAT n74_a_paulfellows_24->n74_a_paulfellows_27 n74_a_paulfellows_25->n74_a_paulfellows_26 n74_a_paulfellows_28 TO n74_a_paulfellows_27->n74_a_paulfellows_28 n74_a_paulfellows_30 VB;_Tn_ n74_a_paulfellows_27->n74_a_paulfellows_30 n74_a_paulfellows_32 NP-OB1 n74_a_paulfellows_27->n74_a_paulfellows_32 n74_a_paulfellows_28->n74_a_paulfellows_29 n74_a_paulfellows_30->n74_a_paulfellows_31 n74_a_paulfellows_33 ADJP n74_a_paulfellows_32->n74_a_paulfellows_33 n74_a_paulfellows_36 N n74_a_paulfellows_32->n74_a_paulfellows_36 n74_a_paulfellows_34 ADJ n74_a_paulfellows_33->n74_a_paulfellows_34 n74_a_paulfellows_34->n74_a_paulfellows_35 n74_a_paulfellows_36->n74_a_paulfellows_37 n74_a_paulfellows_39 CONJ n74_a_paulfellows_38->n74_a_paulfellows_39 n74_a_paulfellows_41 ILYR n74_a_paulfellows_38->n74_a_paulfellows_41 n74_a_paulfellows_39->n74_a_paulfellows_40 n74_a_paulfellows_42 VBD;_cat_Vg_ n74_a_paulfellows_41->n74_a_paulfellows_42 n74_a_paulfellows_44 IP-PPL-CAT n74_a_paulfellows_41->n74_a_paulfellows_44 n74_a_paulfellows_42->n74_a_paulfellows_43 n74_a_paulfellows_45 VAG;_I_ n74_a_paulfellows_44->n74_a_paulfellows_45 n74_a_paulfellows_47 PUNC n74_a_paulfellows_44->n74_a_paulfellows_47 n74_a_paulfellows_49 PP-NIM n74_a_paulfellows_44->n74_a_paulfellows_49 n74_a_paulfellows_45->n74_a_paulfellows_46 n74_a_paulfellows_47->n74_a_paulfellows_48 n74_a_paulfellows_50 P-ROLE n74_a_paulfellows_49->n74_a_paulfellows_50 n74_a_paulfellows_52 NP n74_a_paulfellows_49->n74_a_paulfellows_52 n74_a_paulfellows_50->n74_a_paulfellows_51 n74_a_paulfellows_53 D n74_a_paulfellows_52->n74_a_paulfellows_53 n74_a_paulfellows_55 NUM n74_a_paulfellows_52->n74_a_paulfellows_55 n74_a_paulfellows_57 N n74_a_paulfellows_52->n74_a_paulfellows_57 n74_a_paulfellows_59 N n74_a_paulfellows_52->n74_a_paulfellows_59 n74_a_paulfellows_53->n74_a_paulfellows_54 n74_a_paulfellows_55->n74_a_paulfellows_56 n74_a_paulfellows_57->n74_a_paulfellows_58 n74_a_paulfellows_59->n74_a_paulfellows_60 n74_a_paulfellows_62 CONJ n74_a_paulfellows_61->n74_a_paulfellows_62 n74_a_paulfellows_64 ILYR n74_a_paulfellows_61->n74_a_paulfellows_64 n74_a_paulfellows_62->n74_a_paulfellows_63 n74_a_paulfellows_65 NP-SBJ n74_a_paulfellows_64->n74_a_paulfellows_65 n74_a_paulfellows_78 VBD;_cat_Vg_ n74_a_paulfellows_64->n74_a_paulfellows_78 n74_a_paulfellows_80 IP-PPL-CAT n74_a_paulfellows_64->n74_a_paulfellows_80 n74_a_paulfellows_83 ADVP-NIM n74_a_paulfellows_64->n74_a_paulfellows_83 n74_a_paulfellows_86 NP-NIM n74_a_paulfellows_64->n74_a_paulfellows_86 n74_a_paulfellows_66 D n74_a_paulfellows_65->n74_a_paulfellows_66 n74_a_paulfellows_68 NS n74_a_paulfellows_65->n74_a_paulfellows_68 n74_a_paulfellows_70 PP n74_a_paulfellows_65->n74_a_paulfellows_70 n74_a_paulfellows_66->n74_a_paulfellows_67 n74_a_paulfellows_68->n74_a_paulfellows_69 n74_a_paulfellows_71 P-ROLE n74_a_paulfellows_70->n74_a_paulfellows_71 n74_a_paulfellows_73 NP n74_a_paulfellows_70->n74_a_paulfellows_73 n74_a_paulfellows_71->n74_a_paulfellows_72 n74_a_paulfellows_74 D n74_a_paulfellows_73->n74_a_paulfellows_74 n74_a_paulfellows_76 N n74_a_paulfellows_73->n74_a_paulfellows_76 n74_a_paulfellows_74->n74_a_paulfellows_75 n74_a_paulfellows_76->n74_a_paulfellows_77 n74_a_paulfellows_78->n74_a_paulfellows_79 n74_a_paulfellows_81 VAG;_I_ n74_a_paulfellows_80->n74_a_paulfellows_81 n74_a_paulfellows_81->n74_a_paulfellows_82 n74_a_paulfellows_84 ADV n74_a_paulfellows_83->n74_a_paulfellows_84 n74_a_paulfellows_84->n74_a_paulfellows_85 n74_a_paulfellows_87 Q n74_a_paulfellows_86->n74_a_paulfellows_87 n74_a_paulfellows_89 NUM n74_a_paulfellows_86->n74_a_paulfellows_89 n74_a_paulfellows_91 NS n74_a_paulfellows_86->n74_a_paulfellows_91 n74_a_paulfellows_87->n74_a_paulfellows_88 n74_a_paulfellows_89->n74_a_paulfellows_90 n74_a_paulfellows_91->n74_a_paulfellows_92 n74_a_paulfellows_93->n74_a_paulfellows_94 
( (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))