Context                Previous, Next                Top


52_a_ibm_1401
They facilitate the transfer of data between IBM cards, magnetic tapes, and printers.

%3 r_0052_0002__facilitate facilitate r_0052_0001__They They r_0052_0002__facilitate->r_0052_0001__They [arg0] r_0052_0003__the_r_0052_0004__transfer the transfer r_0052_0002__facilitate->r_0052_0003__the_r_0052_0004__transfer [arg1] r_0052_0006__data data r_0052_0003__the_r_0052_0004__transfer->r_0052_0006__data of r_0052_0014__and and r_0052_0006__data->r_0052_0014__and between r_0052_0012__tapes tapes r_0052_0014__and->r_0052_0012__tapes [conj2] r_0052_0008__IBM_r_0052_0009__cards IBM cards r_0052_0014__and->r_0052_0008__IBM_r_0052_0009__cards [conj1] r_0052_0015__printers printers r_0052_0014__and->r_0052_0015__printers [conj3] r_0052_0011__magnetic magnetic r_0052_0012__tapes->r_0052_0011__magnetic [attrib] 
arc(r_0052_0002__facilitate, r_0052_0001__They, arg0).
arc(r_0052_0002__facilitate, r_0052_0003__the_r_0052_0004__transfer, arg1).
arc(r_0052_0003__the_r_0052_0004__transfer, r_0052_0006__data, r_0052_0005__of).
arc(r_0052_0006__data, r_0052_0014__and, r_0052_0007__between).
arc(r_0052_0012__tapes, r_0052_0011__magnetic, attrib32).
arc(r_0052_0014__and, r_0052_0008__IBM_r_0052_0009__cards, conj1).
arc(r_0052_0014__and, r_0052_0012__tapes, conj2).
arc(r_0052_0014__and, r_0052_0015__printers, conj3).


%3 r_0052_0014__and and r_0052_0015__printers printers r_0052_0014__and->r_0052_0015__printers [conj3] r_0052_0012__tapes tapes r_0052_0014__and->r_0052_0012__tapes [conj2] r_0052_0008__IBM_r_0052_0009__cards IBM cards r_0052_0014__and->r_0052_0008__IBM_r_0052_0009__cards [conj1] r_0052_0011__magnetic magnetic r_0052_0012__tapes->r_0052_0011__magnetic [attrib] r_0052_0006__data data r_0052_0006__data->r_0052_0014__and between r_0052_0003__the_r_0052_0004__transfer the transfer r_0052_0003__the_r_0052_0004__transfer->r_0052_0006__data of r_0052_0002__facilitate facilitate r_0052_0002__facilitate->r_0052_0003__the_r_0052_0004__transfer [arg1] r_0052_0001__They They r_0052_0002__facilitate->r_0052_0001__They [arg0] 
fof(formula,axiom,
    ? [R_52_2_FACILITATE,R_52_1_THEY,R_52_3_THE_TRANSFER,R_52_6_DATA,R_52_14_AND,R_52_8_IBM_CARDS,R_52_12_TAPES,R_52_11_MAGNETIC,R_52_15_PRINTERS] :
      ( they(R_52_1_THEY)
      & iBM_cards(R_52_8_IBM_CARDS)
      & magnetic(R_52_11_MAGNETIC)
      & printers(R_52_15_PRINTERS)
      & facilitate(R_52_2_FACILITATE,R_52_1_THEY,R_52_3_THE_TRANSFER)
      & the_transfer(R_52_3_THE_TRANSFER)
      & of(R_52_3_THE_TRANSFER,R_52_6_DATA)
      & data(R_52_6_DATA)
      & between(R_52_6_DATA,R_52_14_AND)
      & and(R_52_14_AND)
      & conj1(R_52_14_AND,R_52_8_IBM_CARDS)
      & conj2(R_52_14_AND,R_52_12_TAPES)
      & tapes(R_52_12_TAPES)
      & attrib32(R_52_12_TAPES,R_52_11_MAGNETIC)
      & conj3(R_52_14_AND,R_52_15_PRINTERS) ) ).


n52_a_ibm_1401 n52_a_ibm_1401__1_1_1_1 They n52_a_ibm_1401__1_2_1 facilitate n52_a_ibm_1401__1_3_1_1 the n52_a_ibm_1401__1_3_2_1 transfer n52_a_ibm_1401__1_3_3_1_1 of n52_a_ibm_1401__1_3_3_2_1_1 data n52_a_ibm_1401__1_3_3_2_2_1_1 between n52_a_ibm_1401__1_3_3_2_2_2_1_1_1_1 IBM n52_a_ibm_1401__1_3_3_2_2_2_1_1_2_1 cards n52_a_ibm_1401__1_3_3_2_2_2_1_2_1 , n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_1_1_1 magnetic n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_2_1 tapes n52_a_ibm_1401__1_3_3_2_2_2_1_4_1 , n52_a_ibm_1401__1_3_3_2_2_2_1_5_1_1 and n52_a_ibm_1401__1_3_3_2_2_2_1_5_2_1_1 printers n52_a_ibm_1401__1_4_1 . n52_a_ibm_1401__1 IP-MAT n52_a_ibm_1401__1_1 NP-SBJ n52_a_ibm_1401__1->n52_a_ibm_1401__1_1 n52_a_ibm_1401__1_2 VBP;_Tn_ n52_a_ibm_1401__1->n52_a_ibm_1401__1_2 n52_a_ibm_1401__1_3 NP-OB1 n52_a_ibm_1401__1->n52_a_ibm_1401__1_3 n52_a_ibm_1401__1_4 PUNC n52_a_ibm_1401__1->n52_a_ibm_1401__1_4 n52_a_ibm_1401__1_1_1 PRO n52_a_ibm_1401__1_1->n52_a_ibm_1401__1_1_1 n52_a_ibm_1401__1_1_1->n52_a_ibm_1401__1_1_1_1 n52_a_ibm_1401__1_2->n52_a_ibm_1401__1_2_1 n52_a_ibm_1401__1_3_1 D n52_a_ibm_1401__1_3->n52_a_ibm_1401__1_3_1 n52_a_ibm_1401__1_3_2 N n52_a_ibm_1401__1_3->n52_a_ibm_1401__1_3_2 n52_a_ibm_1401__1_3_3 PP n52_a_ibm_1401__1_3->n52_a_ibm_1401__1_3_3 n52_a_ibm_1401__1_3_1->n52_a_ibm_1401__1_3_1_1 n52_a_ibm_1401__1_3_2->n52_a_ibm_1401__1_3_2_1 n52_a_ibm_1401__1_3_3_1 P-ROLE n52_a_ibm_1401__1_3_3->n52_a_ibm_1401__1_3_3_1 n52_a_ibm_1401__1_3_3_2 NP n52_a_ibm_1401__1_3_3->n52_a_ibm_1401__1_3_3_2 n52_a_ibm_1401__1_3_3_1->n52_a_ibm_1401__1_3_3_1_1 n52_a_ibm_1401__1_3_3_2_1 NS n52_a_ibm_1401__1_3_3_2->n52_a_ibm_1401__1_3_3_2_1 n52_a_ibm_1401__1_3_3_2_2 PP n52_a_ibm_1401__1_3_3_2->n52_a_ibm_1401__1_3_3_2_2 n52_a_ibm_1401__1_3_3_2_1->n52_a_ibm_1401__1_3_3_2_1_1 n52_a_ibm_1401__1_3_3_2_2_1 P-ROLE n52_a_ibm_1401__1_3_3_2_2->n52_a_ibm_1401__1_3_3_2_2_1 n52_a_ibm_1401__1_3_3_2_2_2 NP n52_a_ibm_1401__1_3_3_2_2->n52_a_ibm_1401__1_3_3_2_2_2 n52_a_ibm_1401__1_3_3_2_2_1->n52_a_ibm_1401__1_3_3_2_2_1_1 n52_a_ibm_1401__1_3_3_2_2_2_1 NLYR n52_a_ibm_1401__1_3_3_2_2_2->n52_a_ibm_1401__1_3_3_2_2_2_1 n52_a_ibm_1401__1_3_3_2_2_2_1_1 NLYR n52_a_ibm_1401__1_3_3_2_2_2_1->n52_a_ibm_1401__1_3_3_2_2_2_1_1 n52_a_ibm_1401__1_3_3_2_2_2_1_2 PUNC n52_a_ibm_1401__1_3_3_2_2_2_1->n52_a_ibm_1401__1_3_3_2_2_2_1_2 n52_a_ibm_1401__1_3_3_2_2_2_1_3 CONJP n52_a_ibm_1401__1_3_3_2_2_2_1->n52_a_ibm_1401__1_3_3_2_2_2_1_3 n52_a_ibm_1401__1_3_3_2_2_2_1_4 PUNC n52_a_ibm_1401__1_3_3_2_2_2_1->n52_a_ibm_1401__1_3_3_2_2_2_1_4 n52_a_ibm_1401__1_3_3_2_2_2_1_5 CONJP n52_a_ibm_1401__1_3_3_2_2_2_1->n52_a_ibm_1401__1_3_3_2_2_2_1_5 n52_a_ibm_1401__1_3_3_2_2_2_1_1_1 NPR n52_a_ibm_1401__1_3_3_2_2_2_1_1->n52_a_ibm_1401__1_3_3_2_2_2_1_1_1 n52_a_ibm_1401__1_3_3_2_2_2_1_1_2 NS n52_a_ibm_1401__1_3_3_2_2_2_1_1->n52_a_ibm_1401__1_3_3_2_2_2_1_1_2 n52_a_ibm_1401__1_3_3_2_2_2_1_1_1->n52_a_ibm_1401__1_3_3_2_2_2_1_1_1_1 n52_a_ibm_1401__1_3_3_2_2_2_1_1_2->n52_a_ibm_1401__1_3_3_2_2_2_1_1_2_1 n52_a_ibm_1401__1_3_3_2_2_2_1_2->n52_a_ibm_1401__1_3_3_2_2_2_1_2_1 n52_a_ibm_1401__1_3_3_2_2_2_1_3_1 NLYR n52_a_ibm_1401__1_3_3_2_2_2_1_3->n52_a_ibm_1401__1_3_3_2_2_2_1_3_1 n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_1 ADJP n52_a_ibm_1401__1_3_3_2_2_2_1_3_1->n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_1 n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_2 NS n52_a_ibm_1401__1_3_3_2_2_2_1_3_1->n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_2 n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_1_1 ADJ n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_1->n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_1_1 n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_1_1->n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_1_1_1 n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_2->n52_a_ibm_1401__1_3_3_2_2_2_1_3_1_2_1 n52_a_ibm_1401__1_3_3_2_2_2_1_4->n52_a_ibm_1401__1_3_3_2_2_2_1_4_1 n52_a_ibm_1401__1_3_3_2_2_2_1_5_1 CONJ n52_a_ibm_1401__1_3_3_2_2_2_1_5->n52_a_ibm_1401__1_3_3_2_2_2_1_5_1 n52_a_ibm_1401__1_3_3_2_2_2_1_5_2 NLYR n52_a_ibm_1401__1_3_3_2_2_2_1_5->n52_a_ibm_1401__1_3_3_2_2_2_1_5_2 n52_a_ibm_1401__1_3_3_2_2_2_1_5_1->n52_a_ibm_1401__1_3_3_2_2_2_1_5_1_1 n52_a_ibm_1401__1_3_3_2_2_2_1_5_2_1 NS n52_a_ibm_1401__1_3_3_2_2_2_1_5_2->n52_a_ibm_1401__1_3_3_2_2_2_1_5_2_1 n52_a_ibm_1401__1_3_3_2_2_2_1_5_2_1->n52_a_ibm_1401__1_3_3_2_2_2_1_5_2_1_1 n52_a_ibm_1401__1_4->n52_a_ibm_1401__1_4_1 
( (IP-MAT (NP-SBJ;{TAPE_UTILITIES} (PRO They;{they}))
          (VBP;_Tn_ facilitate;{facilitate})
          (NP-OB1 (D the;{the})
                  (N transfer;{transfer})
                  (PP (P-ROLE of;{of})
                      (NP (NS data;{data})
                          (PP (P-ROLE between;{between})
                              (NP (NLYR (NLYR (NPR IBM;{IBM})
                                              (NS cards;{card}))
                                        (PUNC ,)
                                        (CONJP (NLYR (ADJP (ADJ magnetic;{magnetic}))
                                                     (NS tapes;{tape})))
                                        (PUNC ,)
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NS printers;{printer})))))))))
          (PUNC .))
  (ID 52_a_ibm_1401))