Context                Previous, Next                Top


57_a_history_of_qed
Bob Daley wrote an editor called qedx in PL/1 for the Multics project.

%3 r_0057_0003__wrote wrote r_0057_0001__Bob_r_0057_0002__Daley Bob Daley r_0057_0003__wrote->r_0057_0001__Bob_r_0057_0002__Daley [arg0] r_0057_0004__an_r_0057_0005__editor an editor r_0057_0003__wrote->r_0057_0004__an_r_0057_0005__editor [arg1] r_0057_0009__PL_sol_1 PL sol 1 r_0057_0003__wrote->r_0057_0009__PL_sol_1 in [nim] r_0057_0011__the_r_0057_0012__Multics_r_0057_0013__project the Multics project r_0057_0003__wrote->r_0057_0011__the_r_0057_0012__Multics_r_0057_0013__project for [nim] r_0057_0006__called called r_0057_0006__called->r_0057_0004__an_r_0057_0005__editor [arg1] r_0057_0007__qedx qedx r_0057_0006__called->r_0057_0007__qedx [prd] z_000_57_a_history_of_qed_15 r_0057_0006__called->z_000_57_a_history_of_qed_15 [arg0] 
arc(r_0057_0003__wrote, r_0057_0001__Bob_r_0057_0002__Daley, arg0).
arc(r_0057_0003__wrote, r_0057_0004__an_r_0057_0005__editor, arg1).
arc(r_0057_0003__wrote, r_0057_0009__PL_sol_1, r_0057_0008__in_nim25).
arc(r_0057_0003__wrote, r_0057_0011__the_r_0057_0012__Multics_r_0057_0013__project, r_0057_0010__for_nim31).
arc(r_0057_0006__called, r_0057_0004__an_r_0057_0005__editor, arg1).
arc(r_0057_0006__called, r_0057_0007__qedx, prd).
arc(r_0057_0006__called, z_000_57_a_history_of_qed_15, arg0).


%3 r_0057_0003__wrote wrote r_0057_0001__Bob_r_0057_0002__Daley Bob Daley r_0057_0003__wrote->r_0057_0001__Bob_r_0057_0002__Daley [arg0] r_0057_0004__an_r_0057_0005__editor an editor r_0057_0003__wrote->r_0057_0004__an_r_0057_0005__editor [arg1] r_0057_0009__PL_sol_1 PL sol 1 r_0057_0003__wrote->r_0057_0009__PL_sol_1 in [nim] r_0057_0011__the_r_0057_0012__Multics_r_0057_0013__project the Multics project r_0057_0003__wrote->r_0057_0011__the_r_0057_0012__Multics_r_0057_0013__project for [nim] r_0057_0006__called called r_0057_0006__called->r_0057_0004__an_r_0057_0005__editor [arg1] r_0057_0007__qedx qedx r_0057_0006__called->r_0057_0007__qedx [prd] z_000_57_a_history_of_qed_15 r_0057_0006__called->z_000_57_a_history_of_qed_15 [arg0] 
fof(formula,axiom,
    ? [R_57_3_WROTE,R_57_1_BOB_DALEY,R_57_9_PL_SOL_1,R_57_11_THE_MULTICS_PROJECT,R_57_6_CALLED,Z_57_A_HISTORY_OF_QED_15,R_57_4_AN_EDITOR,R_57_7_QEDX] :
      ( bob_Daley(R_57_1_BOB_DALEY)
      & pL_sol_1(R_57_9_PL_SOL_1)
      & the_Multics_project(R_57_11_THE_MULTICS_PROJECT)
      & an_editor(R_57_4_AN_EDITOR)
      & qedx(R_57_7_QEDX)
      & wrote(R_57_3_WROTE,R_57_1_BOB_DALEY,R_57_4_AN_EDITOR)
      & in_nim25(R_57_3_WROTE,R_57_9_PL_SOL_1)
      & for_nim31(R_57_3_WROTE,R_57_11_THE_MULTICS_PROJECT)
      & called(R_57_6_CALLED,Z_57_A_HISTORY_OF_QED_15,R_57_4_AN_EDITOR,R_57_7_QEDX) ) ).


n57_a_history_of_qed n57_a_history_of_qed_4 Bob n57_a_history_of_qed_6 Daley n57_a_history_of_qed_8 wrote n57_a_history_of_qed_11 an n57_a_history_of_qed_13 editor n57_a_history_of_qed_16 * n57_a_history_of_qed_18 called n57_a_history_of_qed_21 qedx n57_a_history_of_qed_24 in n57_a_history_of_qed_27 PL<sol>1 n57_a_history_of_qed_30 for n57_a_history_of_qed_33 the n57_a_history_of_qed_35 Multics n57_a_history_of_qed_37 project n57_a_history_of_qed_39 . n57_a_history_of_qed_1 IP-MAT n57_a_history_of_qed_2 NP-SBJ n57_a_history_of_qed_1->n57_a_history_of_qed_2 n57_a_history_of_qed_7 VBD;_Tn_ n57_a_history_of_qed_1->n57_a_history_of_qed_7 n57_a_history_of_qed_9 NP-OB1 n57_a_history_of_qed_1->n57_a_history_of_qed_9 n57_a_history_of_qed_22 PP-NIM n57_a_history_of_qed_1->n57_a_history_of_qed_22 n57_a_history_of_qed_28 PP-NIM n57_a_history_of_qed_1->n57_a_history_of_qed_28 n57_a_history_of_qed_38 PUNC n57_a_history_of_qed_1->n57_a_history_of_qed_38 n57_a_history_of_qed_3 NPR n57_a_history_of_qed_2->n57_a_history_of_qed_3 n57_a_history_of_qed_5 NPR n57_a_history_of_qed_2->n57_a_history_of_qed_5 n57_a_history_of_qed_3->n57_a_history_of_qed_4 n57_a_history_of_qed_5->n57_a_history_of_qed_6 n57_a_history_of_qed_7->n57_a_history_of_qed_8 n57_a_history_of_qed_10 D n57_a_history_of_qed_9->n57_a_history_of_qed_10 n57_a_history_of_qed_12 N n57_a_history_of_qed_9->n57_a_history_of_qed_12 n57_a_history_of_qed_14 IP-PPL n57_a_history_of_qed_9->n57_a_history_of_qed_14 n57_a_history_of_qed_10->n57_a_history_of_qed_11 n57_a_history_of_qed_12->n57_a_history_of_qed_13 n57_a_history_of_qed_15 NP-LGS n57_a_history_of_qed_14->n57_a_history_of_qed_15 n57_a_history_of_qed_17 VVN;_Cn.n_ n57_a_history_of_qed_14->n57_a_history_of_qed_17 n57_a_history_of_qed_19 NP-PRD n57_a_history_of_qed_14->n57_a_history_of_qed_19 n57_a_history_of_qed_15->n57_a_history_of_qed_16 n57_a_history_of_qed_17->n57_a_history_of_qed_18 n57_a_history_of_qed_20 N n57_a_history_of_qed_19->n57_a_history_of_qed_20 n57_a_history_of_qed_20->n57_a_history_of_qed_21 n57_a_history_of_qed_23 P-ROLE n57_a_history_of_qed_22->n57_a_history_of_qed_23 n57_a_history_of_qed_25 NP n57_a_history_of_qed_22->n57_a_history_of_qed_25 n57_a_history_of_qed_23->n57_a_history_of_qed_24 n57_a_history_of_qed_26 NUM n57_a_history_of_qed_25->n57_a_history_of_qed_26 n57_a_history_of_qed_26->n57_a_history_of_qed_27 n57_a_history_of_qed_29 P-ROLE n57_a_history_of_qed_28->n57_a_history_of_qed_29 n57_a_history_of_qed_31 NP n57_a_history_of_qed_28->n57_a_history_of_qed_31 n57_a_history_of_qed_29->n57_a_history_of_qed_30 n57_a_history_of_qed_32 D n57_a_history_of_qed_31->n57_a_history_of_qed_32 n57_a_history_of_qed_34 NPR n57_a_history_of_qed_31->n57_a_history_of_qed_34 n57_a_history_of_qed_36 N n57_a_history_of_qed_31->n57_a_history_of_qed_36 n57_a_history_of_qed_32->n57_a_history_of_qed_33 n57_a_history_of_qed_34->n57_a_history_of_qed_35 n57_a_history_of_qed_36->n57_a_history_of_qed_37 n57_a_history_of_qed_38->n57_a_history_of_qed_39 
( (IP-MAT (NP-SBJ (NPR Bob;{Bob})
                  (NPR Daley;{Daley}))
          (VBD;_Tn_ wrote;{write})
          (NP-OB1 (D an;{an})
                  (N editor;{editor})
                  (IP-PPL (NP-LGS *)
                          (VVN;_Cn.n_ called;{call})
                          (NP-PRD (N qedx;{qedx}))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (NUM PL<sol>1)))
          (PP-NIM (P-ROLE for;{for})
                  (NP (D the;{the})
                      (NPR Multics;{Multics})
                      (N project;{project})))
          (PUNC .))
  (ID 57_a_history_of_qed))