Context                Previous, Next                Top


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

%3 r_0063_0003__produce produce r_0063_0001__1401_r_0063_0002__computers 1401 computers r_0063_0003__produce->r_0063_0001__1401_r_0063_0002__computers [arg0] r_0063_0005__reports reports r_0063_0003__produce->r_0063_0005__reports [arg1] r_0063_0015__and and r_0063_0003__produce->r_0063_0015__and because of [nim] r_0063_0004__important important r_0063_0005__reports->r_0063_0004__important [attrib] r_0063_0007__management management r_0063_0005__reports->r_0063_0007__management for r_0063_0009__record_r_0063_0010__time record time r_0063_0005__reports->r_0063_0009__record_r_0063_0010__time in r_0063_0015__and->r_0063_0001__1401_r_0063_0002__computers [gen] r_0063_0013__outstanding outstanding r_0063_0015__and->r_0063_0013__outstanding [attrib] r_0063_0014__processing processing r_0063_0015__and->r_0063_0014__processing [conj1] r_0063_0016__printing_r_0063_0017__abilities printing abilities r_0063_0015__and->r_0063_0016__printing_r_0063_0017__abilities [conj2] 
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).


%3 r_0063_0015__and and r_0063_0016__printing_r_0063_0017__abilities printing abilities r_0063_0015__and->r_0063_0016__printing_r_0063_0017__abilities [conj2] r_0063_0014__processing processing r_0063_0015__and->r_0063_0014__processing [conj1] r_0063_0013__outstanding outstanding r_0063_0015__and->r_0063_0013__outstanding [attrib] r_0063_0001__1401_r_0063_0002__computers 1401 computers r_0063_0015__and->r_0063_0001__1401_r_0063_0002__computers [gen] r_0063_0005__reports reports r_0063_0009__record_r_0063_0010__time record time r_0063_0005__reports->r_0063_0009__record_r_0063_0010__time in r_0063_0007__management management r_0063_0005__reports->r_0063_0007__management for r_0063_0004__important important r_0063_0005__reports->r_0063_0004__important [attrib] r_0063_0003__produce produce r_0063_0003__produce->r_0063_0015__and because of [nim] r_0063_0003__produce->r_0063_0001__1401_r_0063_0002__computers [arg0] r_0063_0003__produce->r_0063_0005__reports [arg1] 
fof(formula,axiom,
    ? [R_63_3_PRODUCE,R_63_5_REPORTS,R_63_4_IMPORTANT,R_63_7_MANAGEMENT,R_63_9_RECORD_TIME,R_63_15_AND,R_63_13_OUTSTANDING,R_63_14_PROCESSING,R_63_16_PRINTING_ABILITIES,R_63_1_1401_COMPUTERS] :
      ( important(R_63_4_IMPORTANT)
      & management(R_63_7_MANAGEMENT)
      & record_time(R_63_9_RECORD_TIME)
      & outstanding(R_63_13_OUTSTANDING)
      & processing(R_63_14_PROCESSING)
      & printing_abilities(R_63_16_PRINTING_ABILITIES)
      & 1401_computers(R_63_1_1401_COMPUTERS)
      & produce(R_63_3_PRODUCE,R_63_1_1401_COMPUTERS,R_63_5_REPORTS)
      & reports(R_63_5_REPORTS)
      & attrib10(R_63_5_REPORTS,R_63_4_IMPORTANT)
      & for(R_63_5_REPORTS,R_63_7_MANAGEMENT)
      & in(R_63_5_REPORTS,R_63_9_RECORD_TIME)
      & because_of_nim32(R_63_3_PRODUCE,R_63_15_AND)
      & and(R_63_15_AND)
      & attrib36(R_63_15_AND,R_63_13_OUTSTANDING)
      & conj1(R_63_15_AND,R_63_14_PROCESSING)
      & conj2(R_63_15_AND,R_63_16_PRINTING_ABILITIES)
      & gen(R_63_15_AND,R_63_1_1401_COMPUTERS) ) ).


n63_a_ibm_1401 n63_a_ibm_1401__1_1_1_1 1401 n63_a_ibm_1401__1_1_2_1 computers n63_a_ibm_1401__1_2_1 produce n63_a_ibm_1401__1_3_1_1_1 important n63_a_ibm_1401__1_3_2_1 reports n63_a_ibm_1401__1_3_3_1_1 for n63_a_ibm_1401__1_3_3_2_1_1 management n63_a_ibm_1401__1_3_4_1_1 in n63_a_ibm_1401__1_3_4_2_1_1 record n63_a_ibm_1401__1_3_4_2_2_1 time n63_a_ibm_1401__1_4_1_1 because_of n63_a_ibm_1401__1_4_2_1_1_1 their n63_a_ibm_1401__1_4_2_2_1_1 outstanding n63_a_ibm_1401__1_4_2_3_1_1_1 processing n63_a_ibm_1401__1_4_2_3_2_1_1 and n63_a_ibm_1401__1_4_2_3_2_2_1_1 printing n63_a_ibm_1401__1_4_2_3_2_2_2_1 abilities n63_a_ibm_1401__1_5_1 . n63_a_ibm_1401__1 IP-MAT n63_a_ibm_1401__1_1 NP-SBJ n63_a_ibm_1401__1->n63_a_ibm_1401__1_1 n63_a_ibm_1401__1_2 VBP;_Tn_ n63_a_ibm_1401__1->n63_a_ibm_1401__1_2 n63_a_ibm_1401__1_3 NP-OB1 n63_a_ibm_1401__1->n63_a_ibm_1401__1_3 n63_a_ibm_1401__1_4 PP-NIM n63_a_ibm_1401__1->n63_a_ibm_1401__1_4 n63_a_ibm_1401__1_5 PUNC n63_a_ibm_1401__1->n63_a_ibm_1401__1_5 n63_a_ibm_1401__1_1_1 NPR n63_a_ibm_1401__1_1->n63_a_ibm_1401__1_1_1 n63_a_ibm_1401__1_1_2 NS n63_a_ibm_1401__1_1->n63_a_ibm_1401__1_1_2 n63_a_ibm_1401__1_1_1->n63_a_ibm_1401__1_1_1_1 n63_a_ibm_1401__1_1_2->n63_a_ibm_1401__1_1_2_1 n63_a_ibm_1401__1_2->n63_a_ibm_1401__1_2_1 n63_a_ibm_1401__1_3_1 ADJP n63_a_ibm_1401__1_3->n63_a_ibm_1401__1_3_1 n63_a_ibm_1401__1_3_2 NS n63_a_ibm_1401__1_3->n63_a_ibm_1401__1_3_2 n63_a_ibm_1401__1_3_3 PP n63_a_ibm_1401__1_3->n63_a_ibm_1401__1_3_3 n63_a_ibm_1401__1_3_4 PP n63_a_ibm_1401__1_3->n63_a_ibm_1401__1_3_4 n63_a_ibm_1401__1_3_1_1 ADJ n63_a_ibm_1401__1_3_1->n63_a_ibm_1401__1_3_1_1 n63_a_ibm_1401__1_3_1_1->n63_a_ibm_1401__1_3_1_1_1 n63_a_ibm_1401__1_3_2->n63_a_ibm_1401__1_3_2_1 n63_a_ibm_1401__1_3_3_1 P-ROLE n63_a_ibm_1401__1_3_3->n63_a_ibm_1401__1_3_3_1 n63_a_ibm_1401__1_3_3_2 NP n63_a_ibm_1401__1_3_3->n63_a_ibm_1401__1_3_3_2 n63_a_ibm_1401__1_3_3_1->n63_a_ibm_1401__1_3_3_1_1 n63_a_ibm_1401__1_3_3_2_1 N n63_a_ibm_1401__1_3_3_2->n63_a_ibm_1401__1_3_3_2_1 n63_a_ibm_1401__1_3_3_2_1->n63_a_ibm_1401__1_3_3_2_1_1 n63_a_ibm_1401__1_3_4_1 P-ROLE n63_a_ibm_1401__1_3_4->n63_a_ibm_1401__1_3_4_1 n63_a_ibm_1401__1_3_4_2 NP n63_a_ibm_1401__1_3_4->n63_a_ibm_1401__1_3_4_2 n63_a_ibm_1401__1_3_4_1->n63_a_ibm_1401__1_3_4_1_1 n63_a_ibm_1401__1_3_4_2_1 N n63_a_ibm_1401__1_3_4_2->n63_a_ibm_1401__1_3_4_2_1 n63_a_ibm_1401__1_3_4_2_2 N n63_a_ibm_1401__1_3_4_2->n63_a_ibm_1401__1_3_4_2_2 n63_a_ibm_1401__1_3_4_2_1->n63_a_ibm_1401__1_3_4_2_1_1 n63_a_ibm_1401__1_3_4_2_2->n63_a_ibm_1401__1_3_4_2_2_1 n63_a_ibm_1401__1_4_1 P-ROLE n63_a_ibm_1401__1_4->n63_a_ibm_1401__1_4_1 n63_a_ibm_1401__1_4_2 NP n63_a_ibm_1401__1_4->n63_a_ibm_1401__1_4_2 n63_a_ibm_1401__1_4_1->n63_a_ibm_1401__1_4_1_1 n63_a_ibm_1401__1_4_2_1 NP-GEN n63_a_ibm_1401__1_4_2->n63_a_ibm_1401__1_4_2_1 n63_a_ibm_1401__1_4_2_2 ADJP n63_a_ibm_1401__1_4_2->n63_a_ibm_1401__1_4_2_2 n63_a_ibm_1401__1_4_2_3 NLYR n63_a_ibm_1401__1_4_2->n63_a_ibm_1401__1_4_2_3 n63_a_ibm_1401__1_4_2_1_1 PRO;_genm_ n63_a_ibm_1401__1_4_2_1->n63_a_ibm_1401__1_4_2_1_1 n63_a_ibm_1401__1_4_2_1_1->n63_a_ibm_1401__1_4_2_1_1_1 n63_a_ibm_1401__1_4_2_2_1 ADJ n63_a_ibm_1401__1_4_2_2->n63_a_ibm_1401__1_4_2_2_1 n63_a_ibm_1401__1_4_2_2_1->n63_a_ibm_1401__1_4_2_2_1_1 n63_a_ibm_1401__1_4_2_3_1 NLYR n63_a_ibm_1401__1_4_2_3->n63_a_ibm_1401__1_4_2_3_1 n63_a_ibm_1401__1_4_2_3_2 CONJP n63_a_ibm_1401__1_4_2_3->n63_a_ibm_1401__1_4_2_3_2 n63_a_ibm_1401__1_4_2_3_1_1 N n63_a_ibm_1401__1_4_2_3_1->n63_a_ibm_1401__1_4_2_3_1_1 n63_a_ibm_1401__1_4_2_3_1_1->n63_a_ibm_1401__1_4_2_3_1_1_1 n63_a_ibm_1401__1_4_2_3_2_1 CONJ n63_a_ibm_1401__1_4_2_3_2->n63_a_ibm_1401__1_4_2_3_2_1 n63_a_ibm_1401__1_4_2_3_2_2 NLYR n63_a_ibm_1401__1_4_2_3_2->n63_a_ibm_1401__1_4_2_3_2_2 n63_a_ibm_1401__1_4_2_3_2_1->n63_a_ibm_1401__1_4_2_3_2_1_1 n63_a_ibm_1401__1_4_2_3_2_2_1 N n63_a_ibm_1401__1_4_2_3_2_2->n63_a_ibm_1401__1_4_2_3_2_2_1 n63_a_ibm_1401__1_4_2_3_2_2_2 NS n63_a_ibm_1401__1_4_2_3_2_2->n63_a_ibm_1401__1_4_2_3_2_2_2 n63_a_ibm_1401__1_4_2_3_2_2_1->n63_a_ibm_1401__1_4_2_3_2_2_1_1 n63_a_ibm_1401__1_4_2_3_2_2_2->n63_a_ibm_1401__1_4_2_3_2_2_2_1 n63_a_ibm_1401__1_5->n63_a_ibm_1401__1_5_1 
( (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))