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.

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_0015__and, r_0063_0011__because_of_nim32).
arc(r_0063_0005__reports, r_0063_0004__important, attrib10).
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_0001__1401_r_0063_0002__computers, gen).
arc(r_0063_0015__and, r_0063_0013__outstanding, attrib36).
arc(r_0063_0015__and, r_0063_0014__processing, conj1).
arc(r_0063_0015__and, r_0063_0016__printing_r_0063_0017__abilities, conj2).

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_0017__ABILITIES,R_0063_0015__AND,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_0017__abilities(R_0063_0016__PRINTING_R_0063_0017__ABILITIES)
      & r_0063_0003__produce(R_0063_0003__PRODUCE)
      & has_r_0063_0011__because_of_nim32(R_0063_0003__PRODUCE,R_0063_0015__AND)
      & r_0063_0015__and(R_0063_0015__AND)
      & has_conj2(R_0063_0015__AND,R_0063_0016__PRINTING_R_0063_0017__ABILITIES)
      & has_conj1(R_0063_0015__AND,R_0063_0014__PROCESSING)
      & has_attrib36(R_0063_0015__AND,R_0063_0013__OUTSTANDING)
      & has_gen(R_0063_0015__AND,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_attrib10(R_0063_0005__REPORTS,R_0063_0004__IMPORTANT)
      & has_arg0(R_0063_0003__PRODUCE,R_0063_0001__1401_R_0063_0002__COMPUTERS) ) ).

( (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 (N processing;{processing}))
                            (CONJP (CONJ and;{and})
                                   (NLYR (N printing;{printing})
                                         (NS abilities;{ability}))))))
          (PUNC .))
  (ID 63_a_ibm_1401))