Context                Previous, Next                Top


36_a_history_of_qed
The “standard Unix editor” ed was first written by Ken Thompson for the PDP.

%3 r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed The Unix editor ed r_0036_0003__standard standard r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed->r_0036_0003__standard [attrib] r_0036_0008__was was r_0036_0010__written written r_0036_0008__was->r_0036_0010__written [scope] r_0036_0010__written->r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed [arg1] r_0036_0009__first first r_0036_0010__written->r_0036_0009__first [nim] r_0036_0012__Ken_r_0036_0013__Thompson Ken Thompson r_0036_0010__written->r_0036_0012__Ken_r_0036_0013__Thompson [arg0] r_0036_0015__the_r_0036_0016__PDP the PDP r_0036_0010__written->r_0036_0015__the_r_0036_0016__PDP for [nim] 
arc(r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed, r_0036_0003__standard, attrib7).
arc(r_0036_0008__was, r_0036_0010__written, scope).
arc(r_0036_0010__written, r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed, arg1).
arc(r_0036_0010__written, r_0036_0009__first, nim23).
arc(r_0036_0010__written, r_0036_0012__Ken_r_0036_0013__Thompson, arg0).
arc(r_0036_0010__written, r_0036_0015__the_r_0036_0016__PDP, r_0036_0014__for_nim39).


%3 r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed The Unix editor ed r_0036_0003__standard standard r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed->r_0036_0003__standard [attrib] r_0036_0008__was_r_0036_0010__written was written r_0036_0008__was_r_0036_0010__written->r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed [arg1] r_0036_0009__first first r_0036_0008__was_r_0036_0010__written->r_0036_0009__first [nim] r_0036_0012__Ken_r_0036_0013__Thompson Ken Thompson r_0036_0008__was_r_0036_0010__written->r_0036_0012__Ken_r_0036_0013__Thompson [arg0] r_0036_0015__the_r_0036_0016__PDP the PDP r_0036_0008__was_r_0036_0010__written->r_0036_0015__the_r_0036_0016__PDP for [nim] 
fof(formula,axiom,
    ? [R_36_8_WAS_WRITTEN,R_36_12_KEN_THOMPSON,R_36_1_THE_UNIX_EDITOR_ED,R_36_3_STANDARD,R_36_9_FIRST,R_36_15_THE_PDP] :
      ( ken_Thompson(R_36_12_KEN_THOMPSON)
      & standard(R_36_3_STANDARD)
      & first(R_36_9_FIRST)
      & the_PDP(R_36_15_THE_PDP)
      & was_written(R_36_8_WAS_WRITTEN,R_36_12_KEN_THOMPSON,R_36_1_THE_UNIX_EDITOR_ED)
      & the_Unix_editor_ed(R_36_1_THE_UNIX_EDITOR_ED)
      & attrib7(R_36_1_THE_UNIX_EDITOR_ED,R_36_3_STANDARD)
      & nim23(R_36_8_WAS_WRITTEN,R_36_9_FIRST)
      & for_nim39(R_36_8_WAS_WRITTEN,R_36_15_THE_PDP) ) ).


n36_a_history_of_qed n36_a_history_of_qed_4 The n36_a_history_of_qed_6 <ldquo> n36_a_history_of_qed_9 standard n36_a_history_of_qed_11 Unix n36_a_history_of_qed_13 editor n36_a_history_of_qed_15 <rdquo> n36_a_history_of_qed_17 ed n36_a_history_of_qed_19 was n36_a_history_of_qed_22 * n36_a_history_of_qed_25 first n36_a_history_of_qed_27 written n36_a_history_of_qed_30 by n36_a_history_of_qed_33 Ken n36_a_history_of_qed_35 Thompson n36_a_history_of_qed_38 for n36_a_history_of_qed_41 the n36_a_history_of_qed_43 PDP n36_a_history_of_qed_45 . n36_a_history_of_qed_1 IP-MAT n36_a_history_of_qed_2 NP-SBJ n36_a_history_of_qed_1->n36_a_history_of_qed_2 n36_a_history_of_qed_18 BED;_cat_VePASS_ n36_a_history_of_qed_1->n36_a_history_of_qed_18 n36_a_history_of_qed_20 IP-PPL-CAT n36_a_history_of_qed_1->n36_a_history_of_qed_20 n36_a_history_of_qed_44 PUNC n36_a_history_of_qed_1->n36_a_history_of_qed_44 n36_a_history_of_qed_3 D n36_a_history_of_qed_2->n36_a_history_of_qed_3 n36_a_history_of_qed_5 PULQ n36_a_history_of_qed_2->n36_a_history_of_qed_5 n36_a_history_of_qed_7 ADJP n36_a_history_of_qed_2->n36_a_history_of_qed_7 n36_a_history_of_qed_10 NPR n36_a_history_of_qed_2->n36_a_history_of_qed_10 n36_a_history_of_qed_12 N n36_a_history_of_qed_2->n36_a_history_of_qed_12 n36_a_history_of_qed_14 PURQ n36_a_history_of_qed_2->n36_a_history_of_qed_14 n36_a_history_of_qed_16 NPR n36_a_history_of_qed_2->n36_a_history_of_qed_16 n36_a_history_of_qed_3->n36_a_history_of_qed_4 n36_a_history_of_qed_5->n36_a_history_of_qed_6 n36_a_history_of_qed_8 ADJ n36_a_history_of_qed_7->n36_a_history_of_qed_8 n36_a_history_of_qed_8->n36_a_history_of_qed_9 n36_a_history_of_qed_10->n36_a_history_of_qed_11 n36_a_history_of_qed_12->n36_a_history_of_qed_13 n36_a_history_of_qed_14->n36_a_history_of_qed_15 n36_a_history_of_qed_16->n36_a_history_of_qed_17 n36_a_history_of_qed_18->n36_a_history_of_qed_19 n36_a_history_of_qed_21 NP-LGS n36_a_history_of_qed_20->n36_a_history_of_qed_21 n36_a_history_of_qed_23 ADVP-NIM n36_a_history_of_qed_20->n36_a_history_of_qed_23 n36_a_history_of_qed_26 VVN;__ n36_a_history_of_qed_20->n36_a_history_of_qed_26 n36_a_history_of_qed_28 PP-LGS n36_a_history_of_qed_20->n36_a_history_of_qed_28 n36_a_history_of_qed_36 PP n36_a_history_of_qed_20->n36_a_history_of_qed_36 n36_a_history_of_qed_21->n36_a_history_of_qed_22 n36_a_history_of_qed_24 ADV n36_a_history_of_qed_23->n36_a_history_of_qed_24 n36_a_history_of_qed_24->n36_a_history_of_qed_25 n36_a_history_of_qed_26->n36_a_history_of_qed_27 n36_a_history_of_qed_29 P-ROLE;_lgs_ n36_a_history_of_qed_28->n36_a_history_of_qed_29 n36_a_history_of_qed_31 NP n36_a_history_of_qed_28->n36_a_history_of_qed_31 n36_a_history_of_qed_29->n36_a_history_of_qed_30 n36_a_history_of_qed_32 NPR n36_a_history_of_qed_31->n36_a_history_of_qed_32 n36_a_history_of_qed_34 NPR n36_a_history_of_qed_31->n36_a_history_of_qed_34 n36_a_history_of_qed_32->n36_a_history_of_qed_33 n36_a_history_of_qed_34->n36_a_history_of_qed_35 n36_a_history_of_qed_37 P-ROLE n36_a_history_of_qed_36->n36_a_history_of_qed_37 n36_a_history_of_qed_39 NP n36_a_history_of_qed_36->n36_a_history_of_qed_39 n36_a_history_of_qed_37->n36_a_history_of_qed_38 n36_a_history_of_qed_40 D n36_a_history_of_qed_39->n36_a_history_of_qed_40 n36_a_history_of_qed_42 NPR n36_a_history_of_qed_39->n36_a_history_of_qed_42 n36_a_history_of_qed_40->n36_a_history_of_qed_41 n36_a_history_of_qed_42->n36_a_history_of_qed_43 n36_a_history_of_qed_44->n36_a_history_of_qed_45 
( (IP-MAT (NP-SBJ;{STANDARD_ED} (D The;{the})
                                (PULQ <ldquo>)
                                (ADJP (ADJ standard;{standard}))
                                (NPR Unix;{Unix})
                                (N editor;{editor})
                                (PURQ <rdquo>)
                                (NPR ed;{ed}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV first;{first}))
                      (VVN;__ written;{write})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP;{KEN} (NPR Ken;{Ken})
                                        (NPR Thompson;{Thompson})))
                      (PP (P-ROLE for;{for})
                          (NP (D the;{the})
                              (NPR PDP;{PDP}))))
          (PUNC .))
  (ID 36_a_history_of_qed))