TSPC 6_a_ibm

6_a_ibm_1401
It is through these languages that the computer itself is used to perform many of the tedious functions that the programmer would otherwise have to perform.

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BEP;_Ipr_ is;{be[through]})
          (PP-CLR (P-ROLE through;{through})
                  (NP;{PROGRAMMING_LANGUAGES} (D these;{these})
                                              (NS languages;{language})))
          (CP-THT-NSBJ (IP-SUB (C that;{that})
                               (NP-SBJ;{COMPUTER} (D the;{the})
                                                  (N computer;{computer}))
                               (NP-RFL;{COMPUTER} (PNX itself;{itself}))
                               (BEP;_cat_VePASS_ is;{be})
                               (IP-PPL-CAT (NP-LGS *)
                                           (VVN;_Tnt_ used;{use})
                                           (IP-INF-OB1 (TO to;{to})
                                                       (VB;_Tn_ perform;{perform})
                                                       (NP-OB1 (Q;_nphd_ many;{many})
                                                               (PP (P-ROLE of;{of})
                                                                   (NP (D the;{the})
                                                                       (ADJP (ADJ tedious;{tedious}))
                                                                       (NS functions;{function})
                                                                       (IP-REL (C that;{that})
                                                                               (NP-SBJ (D the;{the})
                                                                                       (N programmer;{programmer}))
                                                                               (MD;_cat_Vi_ would;{will})
                                                                               (IP-INF-CAT (ADVP-NIM (ADV otherwise;{otherwise}))
                                                                                           (HV;_cat_Vt_ have;{have})
                                                                                           (IP-INF-CAT (NP-OB1 *T*)
                                                                                                       (TO to;{to})
                                                                                                       (VB;_Tn_ perform;{perform})))))))))))
          (PUNC .))
  (ID 6_a_ibm_1401))

arc(r_0006_0002__is_r_0006_0003__through,r_0006_0004__these_r_0006_0005__languages,arg1).
arc(r_0006_0002__is_r_0006_0003__through,r_0006_0010__is,arg0).
arc(r_0006_0010__is,r_0006_0007__the_r_0006_0008__computer,rfl).
arc(r_0006_0010__is,r_0006_0011__used,scope).
arc(r_0006_0011__used,r_0006_0014__many__quant,arg1).
arc(r_0006_0011__used,z_0006_5021___star_,arg0).
arc(r_0006_0013__perform,r_0006_0007__the_r_0006_0008__computer,arg0).
arc(r_0006_0013__perform,z_0006_5019,arg1).
arc(r_0006_0014__many__quant,r_0006_0013__perform,scope).
arc(r_0006_0014__many__quant,z_0006_5019,restriction).
arc(r_0006_0016__the_r_0006_0018__functions,r_0006_0017__tedious,attrib).
arc(r_0006_0022__would,r_0006_0024__have,scope).
arc(r_0006_0024__have,r_0006_0023__otherwise,nim).
arc(r_0006_0024__have,r_0006_0026__perform,scope).
arc(r_0006_0026__perform,r_0006_0016__the_r_0006_0018__functions,inv_arg1).
arc(r_0006_0026__perform,r_0006_0020__the_r_0006_0021__programmer,arg0).
arc(z_0006_5019,r_0006_0016__the_r_0006_0018__functions,r_0006_0015__of).

fof(formula,axiom,
    ? [R_0006_0004__THESE_R_0006_0005__LANGUAGES,R_0006_0007__THE_R_0006_0008__COMPUTER,Z_0006_5021___STAR_,R_0006_0010__IS_R_0006_0011__USED,R_0006_0002__IS_R_0006_0003__THROUGH] :
      ( r_0006_0004__these_r_0006_0005__languages(R_0006_0004__THESE_R_0006_0005__LANGUAGES)
      & r_0006_0007__the_r_0006_0008__computer(R_0006_0007__THE_R_0006_0008__COMPUTER)
      & z_0006_5021___star_(Z_0006_5021___STAR_)
      & r_0006_0002__is_r_0006_0003__through(R_0006_0002__IS_R_0006_0003__THROUGH)
      & has_arg0(R_0006_0002__IS_R_0006_0003__THROUGH,R_0006_0010__IS_R_0006_0011__USED)
      & r_0006_0010__is_r_0006_0011__used(R_0006_0010__IS_R_0006_0011__USED)
      & has_arg0(R_0006_0010__IS_R_0006_0011__USED,Z_0006_5021___STAR_)
      & ! [Z_0006_5019,R_0006_0017__TEDIOUS,R_0006_0023__OTHERWISE,R_0006_0020__THE_R_0006_0021__PROGRAMMER,R_0006_0022__WOULD_R_0006_0024__HAVE_R_0006_0026__PERFORM,R_0006_0016__THE_R_0006_0018__FUNCTIONS] :
          ( ( r_0006_0017__tedious(R_0006_0017__TEDIOUS)
            & r_0006_0020__the_r_0006_0021__programmer(R_0006_0020__THE_R_0006_0021__PROGRAMMER)
            & r_0006_0023__otherwise(R_0006_0023__OTHERWISE)
            & z_0006_5019(Z_0006_5019)
            & has_r_0006_0015__of(Z_0006_5019,R_0006_0016__THE_R_0006_0018__FUNCTIONS)
            & r_0006_0016__the_r_0006_0018__functions(R_0006_0016__THE_R_0006_0018__FUNCTIONS)
            & has_inv_arg1(R_0006_0016__THE_R_0006_0018__FUNCTIONS,R_0006_0022__WOULD_R_0006_0024__HAVE_R_0006_0026__PERFORM)
            & r_0006_0022__would_r_0006_0024__have_r_0006_0026__perform(R_0006_0022__WOULD_R_0006_0024__HAVE_R_0006_0026__PERFORM)
            & has_arg0(R_0006_0022__WOULD_R_0006_0024__HAVE_R_0006_0026__PERFORM,R_0006_0020__THE_R_0006_0021__PROGRAMMER)
            & has_nim(R_0006_0022__WOULD_R_0006_0024__HAVE_R_0006_0026__PERFORM,R_0006_0023__OTHERWISE)
            & has_attrib(R_0006_0016__THE_R_0006_0018__FUNCTIONS,R_0006_0017__TEDIOUS) )
         => ? [R_0006_0013__PERFORM] :
              ( r_0006_0013__perform(R_0006_0013__PERFORM)
              & has_arg1(R_0006_0013__PERFORM,Z_0006_5019)
              & has_arg0(R_0006_0013__PERFORM,R_0006_0007__THE_R_0006_0008__COMPUTER) ) )
      & has_rfl(R_0006_0010__IS_R_0006_0011__USED,R_0006_0007__THE_R_0006_0008__COMPUTER)
      & has_arg1(R_0006_0002__IS_R_0006_0003__THROUGH,R_0006_0004__THESE_R_0006_0005__LANGUAGES) ) ).