TSPC 13_a_ibm

13_a_ibm_1401
A program is a series of instructions that direct the 1401 as it solves an application.

( (IP-MAT (NP-SBJ (D A;{a})
                  (N program;{program}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (N series;{series})
                  (PP (P-ROLE of;{of})
                      (NP (NS instructions;{instruction})
                          (IP-REL (C that;{that})
                                  (NP-SBJ *T*)
                                  (VBP;_Tn_ direct;{direct})
                                  (NP-OB1;{T1401} (D the;{the})
                                                  (NPR 1401))
                                  (PP-SCON (P-CONN as;{as})
                                           (IP-ADV (NP-SBJ;{T1401} (PRO it;{it}))
                                                   (VBP;_Tn_ solves;{solve})
                                                   (NP-OB1 (D an;{an})
                                                           (N application;{application}))))))))
          (PUNC .))
  (ID 13_a_ibm_1401))

arc(r_0013_0003__is,r_0013_0001__A_r_0013_0002__program,arg0).
arc(r_0013_0003__is,r_0013_0004__a_r_0013_0005__series,prd).
arc(r_0013_0004__a_r_0013_0005__series,r_0013_0007__instructions,r_0013_0006__of).
arc(r_0013_0009__direct,r_0013_0007__instructions,inv_arg0).
arc(r_0013_0009__direct,r_0013_0010__the_r_0013_0011__1401,arg1).
arc(r_0013_0012__as,r_0013_0009__direct,scope).
arc(r_0013_0012__as,r_0013_0014__solves,restriction).
arc(r_0013_0014__solves,r_0013_0010__the_r_0013_0011__1401,arg0).
arc(r_0013_0014__solves,r_0013_0015__an_r_0013_0016__application,arg1).

fof(formula,axiom,
    ? [R_0013_0001__A_R_0013_0002__PROGRAM,R_0013_0010__THE_R_0013_0011__1401,R_0013_0009__DIRECT,R_0013_0007__INSTRUCTIONS,R_0013_0004__A_R_0013_0005__SERIES,R_0013_0003__IS,R_0013_0015__AN_R_0013_0016__APPLICATION,R_0013_0014__SOLVES,R_0013_0012__AS] :
      ( r_0013_0001__A_r_0013_0002__program(R_0013_0001__A_R_0013_0002__PROGRAM)
      & r_0013_0010__the_r_0013_0011__1401(R_0013_0010__THE_R_0013_0011__1401)
      & r_0013_0015__an_r_0013_0016__application(R_0013_0015__AN_R_0013_0016__APPLICATION)
      & r_0013_0012__as(R_0013_0012__AS)
      & has_conj1(R_0013_0012__AS,R_0013_0014__SOLVES)
      & r_0013_0014__solves(R_0013_0014__SOLVES)
      & has_arg1(R_0013_0014__SOLVES,R_0013_0015__AN_R_0013_0016__APPLICATION)
      & has_arg0(R_0013_0014__SOLVES,R_0013_0010__THE_R_0013_0011__1401)
      & has_conj2(R_0013_0012__AS,R_0013_0009__DIRECT)
      & r_0013_0009__direct(R_0013_0009__DIRECT)
      & has_arg1(R_0013_0009__DIRECT,R_0013_0010__THE_R_0013_0011__1401)
      & r_0013_0003__is(R_0013_0003__IS)
      & has_prd(R_0013_0003__IS,R_0013_0004__A_R_0013_0005__SERIES)
      & r_0013_0004__a_r_0013_0005__series(R_0013_0004__A_R_0013_0005__SERIES)
      & has_r_0013_0006__of(R_0013_0004__A_R_0013_0005__SERIES,R_0013_0007__INSTRUCTIONS)
      & r_0013_0007__instructions(R_0013_0007__INSTRUCTIONS)
      & has_inv_arg0(R_0013_0007__INSTRUCTIONS,R_0013_0009__DIRECT)
      & has_arg0(R_0013_0003__IS,R_0013_0001__A_R_0013_0002__PROGRAM) ) ).