TSPC 72_a_paulfellows

72_a_paulfellows
So they'd got a ticking clock running, and they said “and you can click on another one and run several of these at once, you won't be able to do that on Arthur as it can't multitask, look!”, they clicked on three or four of them and got them running.

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV So;{so}))
                      (NP-SBJ;{PA_TEAM} (PRO they;{they}))
                      (HVD;_cat_Ve_ <apos>d;{have})
                      (IP-PPL-CAT (VVN;_Cn.g_ got;{get})
                                  (NP-OB1 (D a;{a})
                                          (IP-PPL (VAG;_I_ ticking;{tick}))
                                          (N clock;{clock}))
                                  (IP-PPL-PRD (VAG;_I_ running;{run}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{PA_TEAM} (PRO they;{they}))
                             (VBD;_Tr_ said;{say})
                             (PULQ <ldquo>)
                             (utterance-OB1 (IP-MAT (CONJ;_cl_ and;{and})
                                                    (NP-SBJ (PRO you;{you}))
                                                    (MD;_cat_Vi_ can;{can})
                                                    (IP-INF-CAT (ILYR (ILYR (VB;_Ipr_ click;{click[on]})
                                                                            (PP-CLR (P-ROLE on;{on})
                                                                                    (NP (D another;{another})
                                                                                        (NUM one;{one}))))
                                                                      (CONJP (CONJ and;{and})
                                                                             (ILYR (VB;_Tn_ run;{run})
                                                                                   (NP-OB1 (ADJP (ADJ several;{several}))
                                                                                           (PP (P-ROLE of;{of})
                                                                                               (NP (D;_nphd_ these;{these}))))
                                                                                   (PP-NIM (P-ROLE at;{at})
                                                                                           (ADVP (ADV once;{once})))))))
                                                    (PUNC ,))
                                            (IP-MAT (NP-SBJ (PRO you;{you}))
                                                    (MD;_cat_Vi_ wo;{will})
                                                    (NEG;_clitic_ n<apos>t;{not})
                                                    (IP-INF-CAT (BE;_La_ be;{be})
                                                                (ADJP-PRD (ADJ;_cat_ able;{able})
                                                                          (IP-INF (TO to;{to})
                                                                                  (DO;_Tn_ do;{do})
                                                                                  (NP-OB1 (D;_nphd_ that;{that}))
                                                                                  (PP-NIM (P-ROLE on;{on})
                                                                                          (NP;{ARTHUR} (NPR Arthur;{Arthur}))))))
                                                    (PP-SCON (P-CONN as;{as})
                                                             (IP-ADV (NP-SBJ;{ARTHUR} (PRO it;{it}))
                                                                     (MD;_cat_Vi_ ca;{can})
                                                                     (NEG;_clitic_ n<apos>t;{not})
                                                                     (IP-INF-CAT (VB;_I_ multitask;{multitask}))))
                                                    (PUNC ,))
                                            (IP-IMP (VB;_I_ look;{look})
                                                    (PUNC !)))
                             (PURQ <rdquo>)))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ;{PA_TEAM} (PRO they;{they}))
                             (ILYR (ILYR (VBD;_Ipr_ clicked;{click[on]})
                                         (PP-CLR (P-ROLE on;{on})
                                                 (NP (NLYR (NLYR (NUM three;{three}))
                                                           (CONJP (CONJ or;{or})
                                                                  (NLYR (NUM four;{four}))))
                                                     (PP (P-ROLE of;{of})
                                                         (NP (PRO them;{they}))))))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VBD;_Cn.g_ got;{get})
                                                (NP-OB1 (PRO them;{they}))
                                                (IP-PPL-PRD (VAG;_I_ running;{run}))))))))
          (PUNC .))
  (ID 72_a_paulfellows))

arc(r_0072_0003___apos_d,r_0072_0001__So,nim).
arc(r_0072_0003___apos_d,r_0072_0004__got,scope).
arc(r_0072_0004__got,r_0072_0002__they,arg0).
arc(r_0072_0004__got,r_0072_0005__a_r_0072_0007__clock,arg1).
arc(r_0072_0004__got,r_0072_0008__running,prd).
arc(r_0072_0006__ticking,r_0072_0005__a_r_0072_0007__clock,inv_arg0).
arc(r_0072_0008__running,z_0072_5007,arg0).
arc(r_0072_0010__and,r_0072_0003___apos_d,conj1).
arc(r_0072_0010__and,r_0072_0012__said,conj2).
arc(r_0072_0010__and,r_0072_0057__and,conj3).
arc(r_0072_0012__said,r_0072_0002__they,arg0).
arc(r_0072_0012__said,r_0072_0014__and,arg1).
arc(r_0072_0014__and,r_0072_0016__can,part1).
arc(r_0072_0014__and,r_0072_0039__as,part2).
arc(r_0072_0014__and,r_0072_0045__look,part3).
arc(r_0072_0016__can,r_0072_0021__and,scope).
arc(r_0072_0017__click_r_0072_0018__on,r_0072_0015__you,arg0).
arc(r_0072_0017__click_r_0072_0018__on,r_0072_0019__another_r_0072_0020__one,arg1).
arc(r_0072_0021__and,r_0072_0017__click_r_0072_0018__on,conj1).
arc(r_0072_0021__and,r_0072_0022__run,conj2).
arc(r_0072_0022__run,r_0072_0015__you,arg0).
arc(r_0072_0022__run,r_0072_0027__once,r_0072_0026__at__nim).
arc(r_0072_0022__run,z_0072_5018,arg1).
arc(r_0072_0030__wo,r_0072_0032__be,scope).
arc(r_0072_0031__n_apos_t,r_0072_0030__wo,keep_scope).
arc(r_0072_0032__be,r_0072_0033__able,scope).
arc(r_0072_0033__able,r_0072_0035__do,scope).
arc(r_0072_0035__do,r_0072_0015__you,arg0).
arc(r_0072_0035__do,r_0072_0036__that,arg1).
arc(r_0072_0035__do,r_0072_0038__Arthur,r_0072_0037__on__nim).
arc(r_0072_0039__as,r_0072_0031__n_apos_t,scope).
arc(r_0072_0039__as,r_0072_0042__n_apos_t,restriction).
arc(r_0072_0041__ca,r_0072_0043__multitask,scope).
arc(r_0072_0042__n_apos_t,r_0072_0041__ca,keep_scope).
arc(r_0072_0043__multitask,r_0072_0038__Arthur,arg0).
arc(r_0072_0045__look,z_0072_5039,arg0).
arc(r_0072_0050__clicked_r_0072_0051__on,r_0072_0002__they,arg0).
arc(r_0072_0050__clicked_r_0072_0051__on,r_0072_0053__or,arg1).
arc(r_0072_0053__or,r_0072_0052__three,conj1).
arc(r_0072_0053__or,r_0072_0054__four,conj2).
arc(r_0072_0053__or,r_0072_0056__them,r_0072_0055__of).
arc(r_0072_0057__and,r_0072_0050__clicked_r_0072_0051__on,conj1).
arc(r_0072_0057__and,r_0072_0058__got,conj2).
arc(r_0072_0058__got,r_0072_0002__they,arg0).
arc(r_0072_0058__got,r_0072_0059__them,arg1).
arc(r_0072_0058__got,r_0072_0060__running,prd).
arc(r_0072_0060__running,z_0072_5050,arg0).
arc(z_0072_5018,r_0072_0023__several,attrib).
arc(z_0072_5018,r_0072_0025__these,r_0072_0024__of).

fof(formula,axiom,
    ? [R_0072_0001__SO,R_0072_0002__THEY,R_0072_0006__TICKING,R_0072_0005__A_R_0072_0007__CLOCK,Z_0072_5007,R_0072_0008__RUNNING,R_0072_0003___APOS_D_R_0072_0004__GOT,R_0072_0015__YOU,R_0072_0019__ANOTHER_R_0072_0020__ONE,R_0072_0017__CLICK_R_0072_0018__ON,R_0072_0027__ONCE,R_0072_0023__SEVERAL,R_0072_0025__THESE,Z_0072_5018,R_0072_0022__RUN,R_0072_0021__AND,R_0072_0016__CAN,R_0072_0039__AS,Z_0072_5039,R_0072_0045__LOOK,R_0072_0014__AND,R_0072_0012__SAID,R_0072_0052__THREE,R_0072_0054__FOUR,R_0072_0056__THEM,R_0072_0053__OR,R_0072_0050__CLICKED_R_0072_0051__ON,R_0072_0059__THEM,Z_0072_5050,R_0072_0060__RUNNING,R_0072_0058__GOT,R_0072_0057__AND,R_0072_0010__AND] :
      ( r_0072_0001__So(R_0072_0001__SO)
      & r_0072_0002__they(R_0072_0002__THEY)
      & r_0072_0006__ticking(R_0072_0006__TICKING)
      & r_0072_0015__you(R_0072_0015__YOU)
      & r_0072_0019__another_r_0072_0020__one(R_0072_0019__ANOTHER_R_0072_0020__ONE)
      & r_0072_0023__several(R_0072_0023__SEVERAL)
      & r_0072_0025__these(R_0072_0025__THESE)
      & r_0072_0027__once(R_0072_0027__ONCE)
      & r_0072_0052__three(R_0072_0052__THREE)
      & r_0072_0054__four(R_0072_0054__FOUR)
      & r_0072_0056__them(R_0072_0056__THEM)
      & r_0072_0059__them(R_0072_0059__THEM)
      & z_0072_5007(Z_0072_5007)
      & z_0072_5039(Z_0072_5039)
      & z_0072_5050(Z_0072_5050)
      & r_0072_0010__and(R_0072_0010__AND)
      & has_conj3(R_0072_0010__AND,R_0072_0057__AND)
      & r_0072_0057__and(R_0072_0057__AND)
      & has_conj2(R_0072_0057__AND,R_0072_0058__GOT)
      & r_0072_0058__got(R_0072_0058__GOT)
      & has_prd(R_0072_0058__GOT,R_0072_0060__RUNNING)
      & r_0072_0060__running(R_0072_0060__RUNNING)
      & has_arg0(R_0072_0060__RUNNING,Z_0072_5050)
      & has_arg1(R_0072_0058__GOT,R_0072_0059__THEM)
      & has_arg0(R_0072_0058__GOT,R_0072_0002__THEY)
      & has_conj1(R_0072_0057__AND,R_0072_0050__CLICKED_R_0072_0051__ON)
      & r_0072_0050__clicked_r_0072_0051__on(R_0072_0050__CLICKED_R_0072_0051__ON)
      & has_arg1(R_0072_0050__CLICKED_R_0072_0051__ON,R_0072_0053__OR)
      & r_0072_0053__or(R_0072_0053__OR)
      & has_r_0072_0055__of(R_0072_0053__OR,R_0072_0056__THEM)
      & has_conj2(R_0072_0053__OR,R_0072_0054__FOUR)
      & has_conj1(R_0072_0053__OR,R_0072_0052__THREE)
      & has_arg0(R_0072_0050__CLICKED_R_0072_0051__ON,R_0072_0002__THEY)
      & has_conj2(R_0072_0010__AND,R_0072_0012__SAID)
      & r_0072_0012__said(R_0072_0012__SAID)
      & has_arg1(R_0072_0012__SAID,R_0072_0014__AND)
      & r_0072_0014__and(R_0072_0014__AND)
      & has_part3(R_0072_0014__AND,R_0072_0045__LOOK)
      & r_0072_0045__look(R_0072_0045__LOOK)
      & has_arg0(R_0072_0045__LOOK,Z_0072_5039)
      & has_part2(R_0072_0014__AND,R_0072_0039__AS)
      & r_0072_0039__as(R_0072_0039__AS)
      & has_conj1(R_0072_0039__AS,R_0072_0042__N_APOS_T)
      & ~ ? [R_0072_0038__ARTHUR,R_0072_0041__CA_R_0072_0043__MULTITASK] :
            ( r_0072_0038__Arthur(R_0072_0038__ARTHUR)
            & r_0072_0041__ca_r_0072_0043__multitask(R_0072_0041__CA_R_0072_0043__MULTITASK)
            & has_arg0(R_0072_0041__CA_R_0072_0043__MULTITASK,R_0072_0038__ARTHUR) )
      & has_conj2(R_0072_0039__AS,R_0072_0031__N_APOS_T)
      & ~ ? [R_0072_0036__THAT,R_0072_0038__ARTHUR,R_0072_0030__WO_R_0072_0032__BE_R_0072_0033__ABLE_R_0072_0035__DO] :
            ( r_0072_0036__that(R_0072_0036__THAT)
            & r_0072_0038__Arthur(R_0072_0038__ARTHUR)
            & r_0072_0030__wo_r_0072_0032__be_r_0072_0033__able_r_0072_0035__do(R_0072_0030__WO_R_0072_0032__BE_R_0072_0033__ABLE_R_0072_0035__DO)
            & has_r_0072_0037__on__nim(R_0072_0030__WO_R_0072_0032__BE_R_0072_0033__ABLE_R_0072_0035__DO,R_0072_0038__ARTHUR)
            & has_arg1(R_0072_0030__WO_R_0072_0032__BE_R_0072_0033__ABLE_R_0072_0035__DO,R_0072_0036__THAT)
            & has_arg0(R_0072_0030__WO_R_0072_0032__BE_R_0072_0033__ABLE_R_0072_0035__DO,R_0072_0015__YOU) )
      & has_part1(R_0072_0014__AND,R_0072_0016__CAN)
      & r_0072_0016__can(R_0072_0016__CAN)
      & has_keep_scope(R_0072_0016__CAN,R_0072_0021__AND)
      & r_0072_0021__and(R_0072_0021__AND)
      & has_conj2(R_0072_0021__AND,R_0072_0022__RUN)
      & r_0072_0022__run(R_0072_0022__RUN)
      & has_arg1(R_0072_0022__RUN,Z_0072_5018)
      & z_0072_5018(Z_0072_5018)
      & has_r_0072_0024__of(Z_0072_5018,R_0072_0025__THESE)
      & has_attrib(Z_0072_5018,R_0072_0023__SEVERAL)
      & has_r_0072_0026__at__nim(R_0072_0022__RUN,R_0072_0027__ONCE)
      & has_arg0(R_0072_0022__RUN,R_0072_0015__YOU)
      & has_conj1(R_0072_0021__AND,R_0072_0017__CLICK_R_0072_0018__ON)
      & r_0072_0017__click_r_0072_0018__on(R_0072_0017__CLICK_R_0072_0018__ON)
      & has_arg1(R_0072_0017__CLICK_R_0072_0018__ON,R_0072_0019__ANOTHER_R_0072_0020__ONE)
      & has_arg0(R_0072_0017__CLICK_R_0072_0018__ON,R_0072_0015__YOU)
      & has_arg0(R_0072_0012__SAID,R_0072_0002__THEY)
      & has_conj1(R_0072_0010__AND,R_0072_0003___APOS_D_R_0072_0004__GOT)
      & r_0072_0003___apos_d_r_0072_0004__got(R_0072_0003___APOS_D_R_0072_0004__GOT)
      & has_prd(R_0072_0003___APOS_D_R_0072_0004__GOT,R_0072_0008__RUNNING)
      & r_0072_0008__running(R_0072_0008__RUNNING)
      & has_arg0(R_0072_0008__RUNNING,Z_0072_5007)
      & has_arg1(R_0072_0003___APOS_D_R_0072_0004__GOT,R_0072_0005__A_R_0072_0007__CLOCK)
      & r_0072_0005__a_r_0072_0007__clock(R_0072_0005__A_R_0072_0007__CLOCK)
      & has_inv_arg0(R_0072_0005__A_R_0072_0007__CLOCK,R_0072_0006__TICKING)
      & has_arg0(R_0072_0003___APOS_D_R_0072_0004__GOT,R_0072_0002__THEY)
      & has_nim(R_0072_0003___APOS_D_R_0072_0004__GOT,R_0072_0001__SO) ) ).