32_a_history_of_qed
These discuss BQED, “an editor developed at Bell Labs....
( (IP-MAT (NP-SBJ;{BQED_NOTES} (D;_nphd_ These;{these}))
(VBP;__ discuss;{discuss})
(NP-OB1;{BQED} (NPR BQED;{BQED})
(PUNC ,)
(PULQ <ldquo>)
(PRN (NP (D an;{an})
(N editor;{editor})
(IP-PPL (NP-LGS *)
(VVN;__ developed;{develop})
(PP (P-ROLE at;{at})
(NP;{BELL_LABS} (NPR Bell;{Bell})
(NPRS Labs;{Labs})))))))
(PUNC ....))
(ID 32_a_history_of_qed))
arc(r_0032_0002__discuss,r_0032_0001__These,arg0).
arc(r_0032_0002__discuss,r_0032_0003__BQED,arg1).
arc(r_0032_0008__developed,r_0032_0006__an_r_0032_0007__editor,inv_arg1).
arc(r_0032_0008__developed,r_0032_0010__Bell_r_0032_0011__Labs,r_0032_0009__at).
arc(r_0032_0008__developed,z_0032_5002___star_,arg0).
arc(z_0032_5004,r_0032_0003__BQED,arg0).
arc(z_0032_5004,r_0032_0006__an_r_0032_0007__editor,prd).
fof(formula,axiom,
? [R_0032_0001__THESE,R_0032_0003__BQED,R_0032_0002__DISCUSS,R_0032_0010__BELL_R_0032_0011__LABS,Z_0032_5002___STAR_,R_0032_0008__DEVELOPED,R_0032_0006__AN_R_0032_0007__EDITOR,Z_0032_5004] :
( r_0032_0001__These(R_0032_0001__THESE)
& r_0032_0003__BQED(R_0032_0003__BQED)
& r_0032_0010__Bell_r_0032_0011__Labs(R_0032_0010__BELL_R_0032_0011__LABS)
& z_0032_5002___star_(Z_0032_5002___STAR_)
& z_0032_5004(Z_0032_5004)
& has_prd(Z_0032_5004,R_0032_0006__AN_R_0032_0007__EDITOR)
& r_0032_0006__an_r_0032_0007__editor(R_0032_0006__AN_R_0032_0007__EDITOR)
& has_inv_arg1(R_0032_0006__AN_R_0032_0007__EDITOR,R_0032_0008__DEVELOPED)
& r_0032_0008__developed(R_0032_0008__DEVELOPED)
& has_arg0(R_0032_0008__DEVELOPED,Z_0032_5002___STAR_)
& has_r_0032_0009__at(R_0032_0008__DEVELOPED,R_0032_0010__BELL_R_0032_0011__LABS)
& has_arg0(Z_0032_5004,R_0032_0003__BQED)
& r_0032_0002__discuss(R_0032_0002__DISCUSS)
& has_arg1(R_0032_0002__DISCUSS,R_0032_0003__BQED)
& has_arg0(R_0032_0002__DISCUSS,R_0032_0001__THESE) ) ).