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