TSPC 10_a_ibm

10_a_ibm_1401
Page 2: Here an operator points to machine language instructions for a new application being generated by the 1401 system on the 1403 high - speed printer.

( (IP-MAT (META (NP (NPR Page;{Page})
                    (NUM 2))
                (PUNC :))
          (ADVP-NIM (ADV Here;{here}))
          (NP-SBJ (D an;{an})
                  (N operator;{operator}))
          (VBP;_Ipr_ points;{point[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (N machine;{machine})
                      (N language;{language})
                      (NS instructions;{instruction})
                      (PP (P-ROLE for;{for})
                          (NP;{APPLICATION} (D a;{a})
                                            (ADJP (ADJ new;{new}))
                                            (N application;{application})
                                            (IP-PPL (BAG;_cat_VePASS_ being;{be})
                                                    (IP-PPL-CAT (VVN;_Tn_ generated;{generate})
                                                                (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                        (NP (D the;{the})
                                                                            (NPR 1401)
                                                                            (N system;{system})))
                                                                (PP-NIM (P-ROLE on;{on})
                                                                        (NP (D the;{the})
                                                                            (NPR 1403)
                                                                            (NLYR (ADJP (ADJ high;{high}))
                                                                                  (PUNC <hyphen>)
                                                                                  (N speed;{speed}))
                                                                            (N printer;{printer})))))))))
          (PUNC .))
  (ID 10_a_ibm_1401))

arc(r_0010_0007__points_r_0010_0008__to,r_0010_0004__Here,nim).
arc(r_0010_0007__points_r_0010_0008__to,r_0010_0005__an_r_0010_0006__operator,arg0).
arc(r_0010_0007__points_r_0010_0008__to,r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions,arg1).
arc(r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions,r_0010_0013__a_r_0010_0015__application,r_0010_0012__for).
arc(r_0010_0013__a_r_0010_0015__application,r_0010_0014__new,attrib).
arc(r_0010_0016__being,r_0010_0017__generated,scope).
arc(r_0010_0017__generated,r_0010_0013__a_r_0010_0015__application,arg1).
arc(r_0010_0017__generated,r_0010_0019__the_r_0010_0020__1401_r_0010_0021__system,r_0010_0018__by_arg0).
arc(r_0010_0017__generated,r_0010_0023__the_r_0010_0024__1403_r_0010_0025__high_r_0010_0027__speed_r_0010_0028__printer,r_0010_0022__on__nim).

fof(formula,axiom,
    ? [R_0010_0004__HERE,R_0010_0005__AN_R_0010_0006__OPERATOR,R_0010_0014__NEW,R_0010_0013__A_R_0010_0015__APPLICATION,R_0010_0009__MACHINE_R_0010_0010__LANGUAGE_R_0010_0011__INSTRUCTIONS,R_0010_0007__POINTS_R_0010_0008__TO,R_0010_0019__THE_R_0010_0020__1401_R_0010_0021__SYSTEM,R_0010_0023__THE_R_0010_0024__1403_R_0010_0025__HIGH_R_0010_0027__SPEED_R_0010_0028__PRINTER,R_0010_0016__BEING_R_0010_0017__GENERATED] :
      ( r_0010_0004__Here(R_0010_0004__HERE)
      & r_0010_0005__an_r_0010_0006__operator(R_0010_0005__AN_R_0010_0006__OPERATOR)
      & r_0010_0014__new(R_0010_0014__NEW)
      & r_0010_0019__the_r_0010_0020__1401_r_0010_0021__system(R_0010_0019__THE_R_0010_0020__1401_R_0010_0021__SYSTEM)
      & r_0010_0023__the_r_0010_0024__1403_r_0010_0025__high_r_0010_0027__speed_r_0010_0028__printer(R_0010_0023__THE_R_0010_0024__1403_R_0010_0025__HIGH_R_0010_0027__SPEED_R_0010_0028__PRINTER)
      & r_0010_0016__being_r_0010_0017__generated(R_0010_0016__BEING_R_0010_0017__GENERATED)
      & has_r_0010_0022__on__nim(R_0010_0016__BEING_R_0010_0017__GENERATED,R_0010_0023__THE_R_0010_0024__1403_R_0010_0025__HIGH_R_0010_0027__SPEED_R_0010_0028__PRINTER)
      & has_r_0010_0018__by_arg0(R_0010_0016__BEING_R_0010_0017__GENERATED,R_0010_0019__THE_R_0010_0020__1401_R_0010_0021__SYSTEM)
      & has_arg1(R_0010_0016__BEING_R_0010_0017__GENERATED,R_0010_0013__A_R_0010_0015__APPLICATION)
      & r_0010_0013__a_r_0010_0015__application(R_0010_0013__A_R_0010_0015__APPLICATION)
      & has_attrib(R_0010_0013__A_R_0010_0015__APPLICATION,R_0010_0014__NEW)
      & r_0010_0007__points_r_0010_0008__to(R_0010_0007__POINTS_R_0010_0008__TO)
      & has_arg1(R_0010_0007__POINTS_R_0010_0008__TO,R_0010_0009__MACHINE_R_0010_0010__LANGUAGE_R_0010_0011__INSTRUCTIONS)
      & r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions(R_0010_0009__MACHINE_R_0010_0010__LANGUAGE_R_0010_0011__INSTRUCTIONS)
      & has_r_0010_0012__for(R_0010_0009__MACHINE_R_0010_0010__LANGUAGE_R_0010_0011__INSTRUCTIONS,R_0010_0013__A_R_0010_0015__APPLICATION)
      & has_arg0(R_0010_0007__POINTS_R_0010_0008__TO,R_0010_0005__AN_R_0010_0006__OPERATOR)
      & has_nim(R_0010_0007__POINTS_R_0010_0008__TO,R_0010_0004__HERE) ) ).