TSPC 63_a_ibm

63_a_ibm_1401
1401 computers produce important reports for management in record time because of their outstanding processing and printing abilities.

( (IP-MAT (NP-SBJ;{COMPUTERS1401} (NPR 1401)
                                  (NS computers;{computer}))
          (VBP;_Tn_ produce;{produce})
          (NP-OB1 (ADJP (ADJ important;{important}))
                  (NS reports;{report})
                  (PP (P-ROLE for;{for})
                      (NP (N management;{management})))
                  (PP (P-ROLE in;{in})
                      (NP (N record;{record})
                          (N time;{time}))))
          (PP-NIM (P-ROLE because_of;{because_of})
                  (NP (NP-GEN;{COMPUTERS1401} (PRO;_genm_ their;{their}))
                      (ADJP (ADJ outstanding;{outstanding}))
                      (NLYR (NLYR (NLYR (N processing;{processing}))
                                  (CONJP (CONJ and;{and})
                                         (NLYR (N printing;{printing})))))
                      (NS abilities;{ability})))
          (PUNC .))
  (ID 63_a_ibm_1401))

arc(r_0063_0003__produce,r_0063_0001__1401_r_0063_0002__computers,arg0).
arc(r_0063_0003__produce,r_0063_0005__reports,arg1).
arc(r_0063_0003__produce,r_0063_0017__abilities,r_0063_0011__because_of__nim).
arc(r_0063_0005__reports,r_0063_0004__important,attrib).
arc(r_0063_0005__reports,r_0063_0007__management,r_0063_0006__for).
arc(r_0063_0005__reports,r_0063_0009__record_r_0063_0010__time,r_0063_0008__in).
arc(r_0063_0015__and,r_0063_0014__processing,conj1).
arc(r_0063_0015__and,r_0063_0016__printing,conj2).
arc(r_0063_0017__abilities,r_0063_0001__1401_r_0063_0002__computers,gen).
arc(r_0063_0017__abilities,r_0063_0013__outstanding,attrib).
arc(r_0063_0017__abilities,r_0063_0015__and,nim).

fof(formula,axiom,
    ? [R_0063_0001__1401_R_0063_0002__COMPUTERS,R_0063_0004__IMPORTANT,R_0063_0007__MANAGEMENT,R_0063_0009__RECORD_R_0063_0010__TIME,R_0063_0005__REPORTS,R_0063_0013__OUTSTANDING,R_0063_0014__PROCESSING,R_0063_0016__PRINTING,R_0063_0015__AND,R_0063_0017__ABILITIES,R_0063_0003__PRODUCE] :
      ( r_0063_0001__1401_r_0063_0002__computers(R_0063_0001__1401_R_0063_0002__COMPUTERS)
      & r_0063_0004__important(R_0063_0004__IMPORTANT)
      & r_0063_0007__management(R_0063_0007__MANAGEMENT)
      & r_0063_0009__record_r_0063_0010__time(R_0063_0009__RECORD_R_0063_0010__TIME)
      & r_0063_0013__outstanding(R_0063_0013__OUTSTANDING)
      & r_0063_0014__processing(R_0063_0014__PROCESSING)
      & r_0063_0016__printing(R_0063_0016__PRINTING)
      & r_0063_0003__produce(R_0063_0003__PRODUCE)
      & has_r_0063_0011__because_of__nim(R_0063_0003__PRODUCE,R_0063_0017__ABILITIES)
      & r_0063_0017__abilities(R_0063_0017__ABILITIES)
      & has_nim(R_0063_0017__ABILITIES,R_0063_0015__AND)
      & r_0063_0015__and(R_0063_0015__AND)
      & has_conj2(R_0063_0015__AND,R_0063_0016__PRINTING)
      & has_conj1(R_0063_0015__AND,R_0063_0014__PROCESSING)
      & has_attrib(R_0063_0017__ABILITIES,R_0063_0013__OUTSTANDING)
      & has_gen(R_0063_0017__ABILITIES,R_0063_0001__1401_R_0063_0002__COMPUTERS)
      & has_arg1(R_0063_0003__PRODUCE,R_0063_0005__REPORTS)
      & r_0063_0005__reports(R_0063_0005__REPORTS)
      & has_r_0063_0008__in(R_0063_0005__REPORTS,R_0063_0009__RECORD_R_0063_0010__TIME)
      & has_r_0063_0006__for(R_0063_0005__REPORTS,R_0063_0007__MANAGEMENT)
      & has_attrib(R_0063_0005__REPORTS,R_0063_0004__IMPORTANT)
      & has_arg0(R_0063_0003__PRODUCE,R_0063_0001__1401_R_0063_0002__COMPUTERS) ) ).