TSPC 52_a_ibm

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

( (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))

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,attrib).
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).

fof(formula,axiom,
    ? [R_0052_0001__THEY,R_0052_0008__IBM_R_0052_0009__CARDS,R_0052_0011__MAGNETIC,R_0052_0012__TAPES,R_0052_0015__PRINTERS,R_0052_0014__AND,R_0052_0006__DATA,R_0052_0003__THE_R_0052_0004__TRANSFER,R_0052_0002__FACILITATE] :
      ( r_0052_0001__They(R_0052_0001__THEY)
      & r_0052_0008__IBM_r_0052_0009__cards(R_0052_0008__IBM_R_0052_0009__CARDS)
      & r_0052_0011__magnetic(R_0052_0011__MAGNETIC)
      & r_0052_0015__printers(R_0052_0015__PRINTERS)
      & r_0052_0002__facilitate(R_0052_0002__FACILITATE)
      & has_arg1(R_0052_0002__FACILITATE,R_0052_0003__THE_R_0052_0004__TRANSFER)
      & r_0052_0003__the_r_0052_0004__transfer(R_0052_0003__THE_R_0052_0004__TRANSFER)
      & has_r_0052_0005__of(R_0052_0003__THE_R_0052_0004__TRANSFER,R_0052_0006__DATA)
      & r_0052_0006__data(R_0052_0006__DATA)
      & has_r_0052_0007__between(R_0052_0006__DATA,R_0052_0014__AND)
      & r_0052_0014__and(R_0052_0014__AND)
      & has_conj3(R_0052_0014__AND,R_0052_0015__PRINTERS)
      & has_conj2(R_0052_0014__AND,R_0052_0012__TAPES)
      & r_0052_0012__tapes(R_0052_0012__TAPES)
      & has_attrib(R_0052_0012__TAPES,R_0052_0011__MAGNETIC)
      & has_conj1(R_0052_0014__AND,R_0052_0008__IBM_R_0052_0009__CARDS)
      & has_arg0(R_0052_0002__FACILITATE,R_0052_0001__THEY) ) ).