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 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] 
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_4 These n32_a_history_of_qed_6 discuss n32_a_history_of_qed_9 BQED n32_a_history_of_qed_11 , n32_a_history_of_qed_13 <ldquo> n32_a_history_of_qed_17 an n32_a_history_of_qed_19 editor n32_a_history_of_qed_22 * n32_a_history_of_qed_24 developed n32_a_history_of_qed_27 at n32_a_history_of_qed_30 Bell n32_a_history_of_qed_32 Labs n32_a_history_of_qed_34 .... n32_a_history_of_qed_1 IP-MAT n32_a_history_of_qed_2 NP-SBJ n32_a_history_of_qed_1->n32_a_history_of_qed_2 n32_a_history_of_qed_5 VBP;__ n32_a_history_of_qed_1->n32_a_history_of_qed_5 n32_a_history_of_qed_7 NP-OB1 n32_a_history_of_qed_1->n32_a_history_of_qed_7 n32_a_history_of_qed_33 PUNC n32_a_history_of_qed_1->n32_a_history_of_qed_33 n32_a_history_of_qed_3 D;_nphd_ n32_a_history_of_qed_2->n32_a_history_of_qed_3 n32_a_history_of_qed_3->n32_a_history_of_qed_4 n32_a_history_of_qed_5->n32_a_history_of_qed_6 n32_a_history_of_qed_8 NPR n32_a_history_of_qed_7->n32_a_history_of_qed_8 n32_a_history_of_qed_10 PUNC n32_a_history_of_qed_7->n32_a_history_of_qed_10 n32_a_history_of_qed_12 PULQ n32_a_history_of_qed_7->n32_a_history_of_qed_12 n32_a_history_of_qed_14 IP-PPL n32_a_history_of_qed_7->n32_a_history_of_qed_14 n32_a_history_of_qed_8->n32_a_history_of_qed_9 n32_a_history_of_qed_10->n32_a_history_of_qed_11 n32_a_history_of_qed_12->n32_a_history_of_qed_13 n32_a_history_of_qed_15 NP-PRD n32_a_history_of_qed_14->n32_a_history_of_qed_15 n32_a_history_of_qed_16 D n32_a_history_of_qed_15->n32_a_history_of_qed_16 n32_a_history_of_qed_18 N n32_a_history_of_qed_15->n32_a_history_of_qed_18 n32_a_history_of_qed_20 IP-PPL n32_a_history_of_qed_15->n32_a_history_of_qed_20 n32_a_history_of_qed_16->n32_a_history_of_qed_17 n32_a_history_of_qed_18->n32_a_history_of_qed_19 n32_a_history_of_qed_21 NP-LGS n32_a_history_of_qed_20->n32_a_history_of_qed_21 n32_a_history_of_qed_23 VVN;__ n32_a_history_of_qed_20->n32_a_history_of_qed_23 n32_a_history_of_qed_25 PP n32_a_history_of_qed_20->n32_a_history_of_qed_25 n32_a_history_of_qed_21->n32_a_history_of_qed_22 n32_a_history_of_qed_23->n32_a_history_of_qed_24 n32_a_history_of_qed_26 P-ROLE n32_a_history_of_qed_25->n32_a_history_of_qed_26 n32_a_history_of_qed_28 NP n32_a_history_of_qed_25->n32_a_history_of_qed_28 n32_a_history_of_qed_26->n32_a_history_of_qed_27 n32_a_history_of_qed_29 NPR n32_a_history_of_qed_28->n32_a_history_of_qed_29 n32_a_history_of_qed_31 NPRS n32_a_history_of_qed_28->n32_a_history_of_qed_31 n32_a_history_of_qed_29->n32_a_history_of_qed_30 n32_a_history_of_qed_31->n32_a_history_of_qed_32 n32_a_history_of_qed_33->n32_a_history_of_qed_34 
( (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))