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_0006__called called z_000_57_a_history_of_qed_15 r_0057_0006__called->z_000_57_a_history_of_qed_15 [arg0] r_0057_0007__qedx qedx r_0057_0006__called->r_0057_0007__qedx [prd] r_0057_0004__an_r_0057_0005__editor an editor r_0057_0006__called->r_0057_0004__an_r_0057_0005__editor [arg1] r_0057_0003__wrote wrote r_0057_0003__wrote->r_0057_0004__an_r_0057_0005__editor [arg1] 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_0009__PL_sol_1 PL sol 1 r_0057_0003__wrote->r_0057_0009__PL_sol_1 in [nim] r_0057_0001__Bob_r_0057_0002__Daley Bob Daley r_0057_0003__wrote->r_0057_0001__Bob_r_0057_0002__Daley [arg0] 
fof(formula,axiom,
    ? [R_0057_0001__BOB_R_0057_0002__DALEY,R_0057_0004__AN_R_0057_0005__EDITOR,R_0057_0009__PL_SOL_1,R_0057_0011__THE_R_0057_0012__MULTICS_R_0057_0013__PROJECT,R_0057_0003__WROTE,R_0057_0007__QEDX,Z_000_57_A_HISTORY_OF_QED_15,R_0057_0006__CALLED] :
      ( r_0057_0001__Bob_r_0057_0002__Daley(R_0057_0001__BOB_R_0057_0002__DALEY)
      & r_0057_0004__an_r_0057_0005__editor(R_0057_0004__AN_R_0057_0005__EDITOR)
      & r_0057_0007__qedx(R_0057_0007__QEDX)
      & r_0057_0009__PL_sol_1(R_0057_0009__PL_SOL_1)
      & r_0057_0011__the_r_0057_0012__Multics_r_0057_0013__project(R_0057_0011__THE_R_0057_0012__MULTICS_R_0057_0013__PROJECT)
      & z_000_57_a_history_of_qed_15(Z_000_57_A_HISTORY_OF_QED_15)
      & r_0057_0006__called(R_0057_0006__CALLED)
      & has_arg0(R_0057_0006__CALLED,Z_000_57_A_HISTORY_OF_QED_15)
      & has_prd(R_0057_0006__CALLED,R_0057_0007__QEDX)
      & has_arg1(R_0057_0006__CALLED,R_0057_0004__AN_R_0057_0005__EDITOR)
      & r_0057_0003__wrote(R_0057_0003__WROTE)
      & has_r_0057_0010__for_nim31(R_0057_0003__WROTE,R_0057_0011__THE_R_0057_0012__MULTICS_R_0057_0013__PROJECT)
      & has_r_0057_0008__in_nim25(R_0057_0003__WROTE,R_0057_0009__PL_SOL_1)
      & has_arg1(R_0057_0003__WROTE,R_0057_0004__AN_R_0057_0005__EDITOR)
      & has_arg0(R_0057_0003__WROTE,R_0057_0001__BOB_R_0057_0002__DALEY) ) ).


n57_a_history_of_qed n57_a_history_of_qed__1_1_1_1 Bob n57_a_history_of_qed__1_1_2_1 Daley n57_a_history_of_qed__1_2_1 wrote n57_a_history_of_qed__1_3_1_1 an n57_a_history_of_qed__1_3_2_1 editor n57_a_history_of_qed__1_3_3_1_1 * n57_a_history_of_qed__1_3_3_2_1 called n57_a_history_of_qed__1_3_3_3_1_1 qedx n57_a_history_of_qed__1_4_1_1 in n57_a_history_of_qed__1_4_2_1_1 PL<sol>1 n57_a_history_of_qed__1_5_1_1 for n57_a_history_of_qed__1_5_2_1_1 the n57_a_history_of_qed__1_5_2_2_1 Multics n57_a_history_of_qed__1_5_2_3_1 project n57_a_history_of_qed__1_6_1 . n57_a_history_of_qed__1 IP-MAT n57_a_history_of_qed__1_1 NP-SBJ n57_a_history_of_qed__1->n57_a_history_of_qed__1_1 n57_a_history_of_qed__1_2 VBD;_Tn_ n57_a_history_of_qed__1->n57_a_history_of_qed__1_2 n57_a_history_of_qed__1_3 NP-OB1 n57_a_history_of_qed__1->n57_a_history_of_qed__1_3 n57_a_history_of_qed__1_4 PP-NIM n57_a_history_of_qed__1->n57_a_history_of_qed__1_4 n57_a_history_of_qed__1_5 PP-NIM n57_a_history_of_qed__1->n57_a_history_of_qed__1_5 n57_a_history_of_qed__1_6 PUNC n57_a_history_of_qed__1->n57_a_history_of_qed__1_6 n57_a_history_of_qed__1_1_1 NPR n57_a_history_of_qed__1_1->n57_a_history_of_qed__1_1_1 n57_a_history_of_qed__1_1_2 NPR n57_a_history_of_qed__1_1->n57_a_history_of_qed__1_1_2 n57_a_history_of_qed__1_1_1->n57_a_history_of_qed__1_1_1_1 n57_a_history_of_qed__1_1_2->n57_a_history_of_qed__1_1_2_1 n57_a_history_of_qed__1_2->n57_a_history_of_qed__1_2_1 n57_a_history_of_qed__1_3_1 D n57_a_history_of_qed__1_3->n57_a_history_of_qed__1_3_1 n57_a_history_of_qed__1_3_2 N n57_a_history_of_qed__1_3->n57_a_history_of_qed__1_3_2 n57_a_history_of_qed__1_3_3 IP-PPL n57_a_history_of_qed__1_3->n57_a_history_of_qed__1_3_3 n57_a_history_of_qed__1_3_1->n57_a_history_of_qed__1_3_1_1 n57_a_history_of_qed__1_3_2->n57_a_history_of_qed__1_3_2_1 n57_a_history_of_qed__1_3_3_1 NP-LGS n57_a_history_of_qed__1_3_3->n57_a_history_of_qed__1_3_3_1 n57_a_history_of_qed__1_3_3_2 VVN;_Cn.n_ n57_a_history_of_qed__1_3_3->n57_a_history_of_qed__1_3_3_2 n57_a_history_of_qed__1_3_3_3 NP-PRD n57_a_history_of_qed__1_3_3->n57_a_history_of_qed__1_3_3_3 n57_a_history_of_qed__1_3_3_1->n57_a_history_of_qed__1_3_3_1_1 n57_a_history_of_qed__1_3_3_2->n57_a_history_of_qed__1_3_3_2_1 n57_a_history_of_qed__1_3_3_3_1 N n57_a_history_of_qed__1_3_3_3->n57_a_history_of_qed__1_3_3_3_1 n57_a_history_of_qed__1_3_3_3_1->n57_a_history_of_qed__1_3_3_3_1_1 n57_a_history_of_qed__1_4_1 P-ROLE n57_a_history_of_qed__1_4->n57_a_history_of_qed__1_4_1 n57_a_history_of_qed__1_4_2 NP n57_a_history_of_qed__1_4->n57_a_history_of_qed__1_4_2 n57_a_history_of_qed__1_4_1->n57_a_history_of_qed__1_4_1_1 n57_a_history_of_qed__1_4_2_1 NUM n57_a_history_of_qed__1_4_2->n57_a_history_of_qed__1_4_2_1 n57_a_history_of_qed__1_4_2_1->n57_a_history_of_qed__1_4_2_1_1 n57_a_history_of_qed__1_5_1 P-ROLE n57_a_history_of_qed__1_5->n57_a_history_of_qed__1_5_1 n57_a_history_of_qed__1_5_2 NP n57_a_history_of_qed__1_5->n57_a_history_of_qed__1_5_2 n57_a_history_of_qed__1_5_1->n57_a_history_of_qed__1_5_1_1 n57_a_history_of_qed__1_5_2_1 D n57_a_history_of_qed__1_5_2->n57_a_history_of_qed__1_5_2_1 n57_a_history_of_qed__1_5_2_2 NPR n57_a_history_of_qed__1_5_2->n57_a_history_of_qed__1_5_2_2 n57_a_history_of_qed__1_5_2_3 N n57_a_history_of_qed__1_5_2->n57_a_history_of_qed__1_5_2_3 n57_a_history_of_qed__1_5_2_1->n57_a_history_of_qed__1_5_2_1_1 n57_a_history_of_qed__1_5_2_2->n57_a_history_of_qed__1_5_2_2_1 n57_a_history_of_qed__1_5_2_3->n57_a_history_of_qed__1_5_2_3_1 n57_a_history_of_qed__1_6->n57_a_history_of_qed__1_6_1 
( (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))