Context                Previous, Next                Top


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

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


%3 r_0057_0006__called called z_0057_5003___star_ * r_0057_0006__called->z_0057_5003___star_ [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 [inv_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] 
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__nim).
arc(r_0057_0003__wrote,r_0057_0011__the_r_0057_0012__Multics_r_0057_0013__project,r_0057_0010__for__nim).
arc(r_0057_0006__called,r_0057_0004__an_r_0057_0005__editor,inv_arg1).
arc(r_0057_0006__called,r_0057_0007__qedx,prd).
arc(r_0057_0006__called,z_0057_5003___star_,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_0004__an_r_0057_0005__editor->r_0057_0006__called [inv_arg1] r_0057_0007__qedx qedx r_0057_0006__called->r_0057_0007__qedx [prd] z_0057_5003___star_ * r_0057_0006__called->z_0057_5003___star_ [arg0] 
fof(formula,axiom,
    ? [R_0057_0001__BOB_R_0057_0002__DALEY,R_0057_0007__QEDX,Z_0057_5003___STAR_,R_0057_0006__CALLED,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_0001__Bob_r_0057_0002__Daley(R_0057_0001__BOB_R_0057_0002__DALEY)
      & 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_0057_5003___star_(Z_0057_5003___STAR_)
      & r_0057_0003__wrote(R_0057_0003__WROTE)
      & has_r_0057_0010__for__nim(R_0057_0003__WROTE,R_0057_0011__THE_R_0057_0012__MULTICS_R_0057_0013__PROJECT)
      & has_r_0057_0008__in__nim(R_0057_0003__WROTE,R_0057_0009__PL_SOL_1)
      & has_arg1(R_0057_0003__WROTE,R_0057_0004__AN_R_0057_0005__EDITOR)
      & r_0057_0004__an_r_0057_0005__editor(R_0057_0004__AN_R_0057_0005__EDITOR)
      & has_inv_arg1(R_0057_0004__AN_R_0057_0005__EDITOR,R_0057_0006__CALLED)
      & r_0057_0006__called(R_0057_0006__CALLED)
      & has_arg0(R_0057_0006__CALLED,Z_0057_5003___STAR_)
      & has_prd(R_0057_0006__CALLED,R_0057_0007__QEDX)
      & has_arg0(R_0057_0003__WROTE,R_0057_0001__BOB_R_0057_0002__DALEY) ) ).