Context                Previous, Next                Top


32_a_history_of_qed
These discuss BQED, “an editor developed at Bell Labs....

n32_a_history_of_qed n32_a_history_of_qed__1_1_1_1 These n32_a_history_of_qed__1_2_1 discuss n32_a_history_of_qed__1_3_1_1 BQED n32_a_history_of_qed__1_3_2_1 , n32_a_history_of_qed__1_3_3_1 <ldquo> n32_a_history_of_qed__1_3_4_1_1_1 an n32_a_history_of_qed__1_3_4_1_2_1 editor n32_a_history_of_qed__1_3_4_1_3_1_1 * n32_a_history_of_qed__1_3_4_1_3_2_1 developed n32_a_history_of_qed__1_3_4_1_3_3_1_1 at n32_a_history_of_qed__1_3_4_1_3_3_2_1_1 Bell n32_a_history_of_qed__1_3_4_1_3_3_2_2_1 Labs n32_a_history_of_qed__1_4_1 .... n32_a_history_of_qed__1 IP-MAT n32_a_history_of_qed__1_1 NP-SBJ n32_a_history_of_qed__1->n32_a_history_of_qed__1_1 n32_a_history_of_qed__1_2 VBP;__ n32_a_history_of_qed__1->n32_a_history_of_qed__1_2 n32_a_history_of_qed__1_3 NP-OB1 n32_a_history_of_qed__1->n32_a_history_of_qed__1_3 n32_a_history_of_qed__1_4 PUNC n32_a_history_of_qed__1->n32_a_history_of_qed__1_4 n32_a_history_of_qed__1_1_1 D;_nphd_ n32_a_history_of_qed__1_1->n32_a_history_of_qed__1_1_1 n32_a_history_of_qed__1_1_1->n32_a_history_of_qed__1_1_1_1 n32_a_history_of_qed__1_2->n32_a_history_of_qed__1_2_1 n32_a_history_of_qed__1_3_1 NPR n32_a_history_of_qed__1_3->n32_a_history_of_qed__1_3_1 n32_a_history_of_qed__1_3_2 PUNC n32_a_history_of_qed__1_3->n32_a_history_of_qed__1_3_2 n32_a_history_of_qed__1_3_3 PULQ n32_a_history_of_qed__1_3->n32_a_history_of_qed__1_3_3 n32_a_history_of_qed__1_3_4 PRN n32_a_history_of_qed__1_3->n32_a_history_of_qed__1_3_4 n32_a_history_of_qed__1_3_1->n32_a_history_of_qed__1_3_1_1 n32_a_history_of_qed__1_3_2->n32_a_history_of_qed__1_3_2_1 n32_a_history_of_qed__1_3_3->n32_a_history_of_qed__1_3_3_1 n32_a_history_of_qed__1_3_4_1 NP n32_a_history_of_qed__1_3_4->n32_a_history_of_qed__1_3_4_1 n32_a_history_of_qed__1_3_4_1_1 D n32_a_history_of_qed__1_3_4_1->n32_a_history_of_qed__1_3_4_1_1 n32_a_history_of_qed__1_3_4_1_2 N n32_a_history_of_qed__1_3_4_1->n32_a_history_of_qed__1_3_4_1_2 n32_a_history_of_qed__1_3_4_1_3 IP-PPL n32_a_history_of_qed__1_3_4_1->n32_a_history_of_qed__1_3_4_1_3 n32_a_history_of_qed__1_3_4_1_1->n32_a_history_of_qed__1_3_4_1_1_1 n32_a_history_of_qed__1_3_4_1_2->n32_a_history_of_qed__1_3_4_1_2_1 n32_a_history_of_qed__1_3_4_1_3_1 NP-LGS n32_a_history_of_qed__1_3_4_1_3->n32_a_history_of_qed__1_3_4_1_3_1 n32_a_history_of_qed__1_3_4_1_3_2 VVN;__ n32_a_history_of_qed__1_3_4_1_3->n32_a_history_of_qed__1_3_4_1_3_2 n32_a_history_of_qed__1_3_4_1_3_3 PP n32_a_history_of_qed__1_3_4_1_3->n32_a_history_of_qed__1_3_4_1_3_3 n32_a_history_of_qed__1_3_4_1_3_1->n32_a_history_of_qed__1_3_4_1_3_1_1 n32_a_history_of_qed__1_3_4_1_3_2->n32_a_history_of_qed__1_3_4_1_3_2_1 n32_a_history_of_qed__1_3_4_1_3_3_1 P-ROLE n32_a_history_of_qed__1_3_4_1_3_3->n32_a_history_of_qed__1_3_4_1_3_3_1 n32_a_history_of_qed__1_3_4_1_3_3_2 NP n32_a_history_of_qed__1_3_4_1_3_3->n32_a_history_of_qed__1_3_4_1_3_3_2 n32_a_history_of_qed__1_3_4_1_3_3_1->n32_a_history_of_qed__1_3_4_1_3_3_1_1 n32_a_history_of_qed__1_3_4_1_3_3_2_1 NPR n32_a_history_of_qed__1_3_4_1_3_3_2->n32_a_history_of_qed__1_3_4_1_3_3_2_1 n32_a_history_of_qed__1_3_4_1_3_3_2_2 NPRS n32_a_history_of_qed__1_3_4_1_3_3_2->n32_a_history_of_qed__1_3_4_1_3_3_2_2 n32_a_history_of_qed__1_3_4_1_3_3_2_1->n32_a_history_of_qed__1_3_4_1_3_3_2_1_1 n32_a_history_of_qed__1_3_4_1_3_3_2_2->n32_a_history_of_qed__1_3_4_1_3_3_2_2_1 n32_a_history_of_qed__1_4->n32_a_history_of_qed__1_4_1 
( (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))


%3 z_0032_5004 r_0032_0006__an_r_0032_0007__editor an editor z_0032_5004->r_0032_0006__an_r_0032_0007__editor [prd] r_0032_0003__BQED BQED z_0032_5004->r_0032_0003__BQED [arg0] r_0032_0008__developed developed r_0032_0008__developed->r_0032_0006__an_r_0032_0007__editor [inv_arg1] z_0032_5002___star_ * r_0032_0008__developed->z_0032_5002___star_ [arg0] r_0032_0010__Bell_r_0032_0011__Labs Bell Labs r_0032_0008__developed->r_0032_0010__Bell_r_0032_0011__Labs at r_0032_0002__discuss discuss r_0032_0002__discuss->r_0032_0003__BQED [arg1] r_0032_0001__These These r_0032_0002__discuss->r_0032_0001__These [arg0] 
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).


%3 r_0032_0002__discuss discuss r_0032_0001__These These r_0032_0002__discuss->r_0032_0001__These [arg0] r_0032_0003__BQED BQED r_0032_0002__discuss->r_0032_0003__BQED [arg1] r_0032_0006__an_r_0032_0007__editor an editor r_0032_0008__developed developed r_0032_0006__an_r_0032_0007__editor->r_0032_0008__developed [inv_arg1] r_0032_0010__Bell_r_0032_0011__Labs Bell Labs r_0032_0008__developed->r_0032_0010__Bell_r_0032_0011__Labs at z_0032_5002___star_ * r_0032_0008__developed->z_0032_5002___star_ [arg0] z_0032_5004 z_0032_5004->r_0032_0003__BQED [arg0] 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) ) ).