Context                Previous, Next                Top


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

%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_0008__developed developed r_0032_0006__an_r_0032_0007__editor an editor r_0032_0008__developed->r_0032_0006__an_r_0032_0007__editor [arg1] r_0032_0010__Bell_r_0032_0011__Labs Bell Labs r_0032_0008__developed->r_0032_0010__Bell_r_0032_0011__Labs at [nim] z_000_32_a_history_of_qed_21 r_0032_0008__developed->z_000_32_a_history_of_qed_21 [arg0] z_000_32_a_history_of_qed_14 z_000_32_a_history_of_qed_14->r_0032_0003__BQED [arg0] z_000_32_a_history_of_qed_14->r_0032_0006__an_r_0032_0007__editor [prd] 
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, arg1).
arc(r_0032_0008__developed, r_0032_0010__Bell_r_0032_0011__Labs, r_0032_0009__at_nim28).
arc(r_0032_0008__developed, z_000_32_a_history_of_qed_21, arg0).
arc(z_000_32_a_history_of_qed_14, r_0032_0003__BQED, arg0).
arc(z_000_32_a_history_of_qed_14, r_0032_0006__an_r_0032_0007__editor, prd).


%3 z_000_32_a_history_of_qed_14 r_0032_0006__an_r_0032_0007__editor an editor z_000_32_a_history_of_qed_14->r_0032_0006__an_r_0032_0007__editor [prd] r_0032_0003__BQED BQED z_000_32_a_history_of_qed_14->r_0032_0003__BQED [arg0] r_0032_0008__developed developed r_0032_0008__developed->r_0032_0006__an_r_0032_0007__editor [arg1] z_000_32_a_history_of_qed_21 r_0032_0008__developed->z_000_32_a_history_of_qed_21 [arg0] r_0032_0010__Bell_r_0032_0011__Labs Bell Labs r_0032_0008__developed->r_0032_0010__Bell_r_0032_0011__Labs at [nim] 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] 
fof(formula,axiom,
    ? [R_32_2_DISCUSS,R_32_1_THESE,R_32_8_DEVELOPED,Z_32_A_HISTORY_OF_QED_21,R_32_10_BELL_LABS,Z_32_A_HISTORY_OF_QED_14,R_32_3_BQED,R_32_6_AN_EDITOR] :
      ( these(R_32_1_THESE)
      & bell_Labs(R_32_10_BELL_LABS)
      & bQED(R_32_3_BQED)
      & an_editor(R_32_6_AN_EDITOR)
      & discuss(R_32_2_DISCUSS,R_32_1_THESE,R_32_3_BQED)
      & developed(R_32_8_DEVELOPED,Z_32_A_HISTORY_OF_QED_21,R_32_6_AN_EDITOR)
      & at_nim28(R_32_8_DEVELOPED,R_32_10_BELL_LABS)
      & z_32_a_history_of_qed_14(Z_32_A_HISTORY_OF_QED_14,R_32_3_BQED,R_32_6_AN_EDITOR) ) ).


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 IP-PPL 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-PRD 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>)
                         (IP-PPL (NP-PRD (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))