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_0032_0001__THESE,R_0032_0003__BQED,R_0032_0002__DISCUSS,R_0032_0006__AN_R_0032_0007__EDITOR,R_0032_0010__BELL_R_0032_0011__LABS,Z_000_32_A_HISTORY_OF_QED_21,R_0032_0008__DEVELOPED,Z_000_32_A_HISTORY_OF_QED_14] :
      ( r_0032_0001__These(R_0032_0001__THESE)
      & r_0032_0003__BQED(R_0032_0003__BQED)
      & r_0032_0006__an_r_0032_0007__editor(R_0032_0006__AN_R_0032_0007__EDITOR)
      & r_0032_0010__Bell_r_0032_0011__Labs(R_0032_0010__BELL_R_0032_0011__LABS)
      & z_000_32_a_history_of_qed_21(Z_000_32_A_HISTORY_OF_QED_21)
      & z_000_32_a_history_of_qed_14(Z_000_32_A_HISTORY_OF_QED_14)
      & has_prd(Z_000_32_A_HISTORY_OF_QED_14,R_0032_0006__AN_R_0032_0007__EDITOR)
      & has_arg0(Z_000_32_A_HISTORY_OF_QED_14,R_0032_0003__BQED)
      & r_0032_0008__developed(R_0032_0008__DEVELOPED)
      & has_arg0(R_0032_0008__DEVELOPED,Z_000_32_A_HISTORY_OF_QED_21)
      & has_r_0032_0009__at_nim28(R_0032_0008__DEVELOPED,R_0032_0010__BELL_R_0032_0011__LABS)
      & has_arg1(R_0032_0008__DEVELOPED,R_0032_0006__AN_R_0032_0007__EDITOR)
      & 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) ) ).


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