Context                Previous, Next                Top


27_a_history_of_qed
For a brief period in the 1970s, the GECOS QED served us as a scripting language; it was in some ways analogous to the Awk or Perl of today.

%3 r_0027_0002__a_r_0027_0004__period a period r_0027_0003__brief brief r_0027_0002__a_r_0027_0004__period->r_0027_0003__brief [attrib] r_0027_0006__the_r_0027_0007__1970s the 1970s r_0027_0002__a_r_0027_0004__period->r_0027_0006__the_r_0027_0007__1970s in r_0027_0012__served served r_0027_0012__served->r_0027_0002__a_r_0027_0004__period For [nim] r_0027_0009__the_r_0027_0010__GECOS_r_0027_0011__QED the GECOS QED r_0027_0012__served->r_0027_0009__the_r_0027_0010__GECOS_r_0027_0011__QED [arg0] r_0027_0013__us us r_0027_0012__served->r_0027_0013__us [arg1] r_0027_0015__a_r_0027_0016__scripting_r_0027_0017__language a scripting language r_0027_0012__served->r_0027_0015__a_r_0027_0016__scripting_r_0027_0017__language as [nim] r_0027_0020__was was r_0027_0020__was->r_0027_0015__a_r_0027_0016__scripting_r_0027_0017__language [arg0] r_0027_0022__some_r_0027_0023__ways some ways r_0027_0020__was->r_0027_0022__some_r_0027_0023__ways in [nim] r_0027_0024__analogous analogous r_0027_0020__was->r_0027_0024__analogous [prd] r_0027_0028__or or r_0027_0024__analogous->r_0027_0028__or to r_0027_0027__Awk Awk r_0027_0028__or->r_0027_0027__Awk [conj1] r_0027_0029__Perl Perl r_0027_0028__or->r_0027_0029__Perl [conj2] r_0027_0031__today today r_0027_0028__or->r_0027_0031__today of z_000_27_a_history_of_qed_2 z_000_27_a_history_of_qed_2->r_0027_0012__served [conj1] z_000_27_a_history_of_qed_2->r_0027_0020__was [conj2] 
arc(r_0027_0002__a_r_0027_0004__period, r_0027_0003__brief, attrib10).
arc(r_0027_0002__a_r_0027_0004__period, r_0027_0006__the_r_0027_0007__1970s, r_0027_0005__in).
arc(r_0027_0012__served, r_0027_0002__a_r_0027_0004__period, r_0027_0001__For_nim7).
arc(r_0027_0012__served, r_0027_0009__the_r_0027_0010__GECOS_r_0027_0011__QED, arg0).
arc(r_0027_0012__served, r_0027_0013__us, arg1).
arc(r_0027_0012__served, r_0027_0015__a_r_0027_0016__scripting_r_0027_0017__language, r_0027_0014__as_nim40).
arc(r_0027_0020__was, r_0027_0015__a_r_0027_0016__scripting_r_0027_0017__language, arg0).
arc(r_0027_0020__was, r_0027_0022__some_r_0027_0023__ways, r_0027_0021__in_nim59).
arc(r_0027_0020__was, r_0027_0024__analogous, prd).
arc(r_0027_0024__analogous, r_0027_0028__or, r_0027_0025__to).
arc(r_0027_0028__or, r_0027_0027__Awk, conj1).
arc(r_0027_0028__or, r_0027_0029__Perl, conj2).
arc(r_0027_0028__or, r_0027_0031__today, r_0027_0030__of).
arc(z_000_27_a_history_of_qed_2, r_0027_0012__served, conj1).
arc(z_000_27_a_history_of_qed_2, r_0027_0020__was, conj2).


%3 r_0027_0002__a_r_0027_0004__period a period r_0027_0003__brief brief r_0027_0002__a_r_0027_0004__period->r_0027_0003__brief [attrib] r_0027_0006__the_r_0027_0007__1970s the 1970s r_0027_0002__a_r_0027_0004__period->r_0027_0006__the_r_0027_0007__1970s in r_0027_0012__served served r_0027_0012__served->r_0027_0002__a_r_0027_0004__period For [nim] r_0027_0009__the_r_0027_0010__GECOS_r_0027_0011__QED the GECOS QED r_0027_0012__served->r_0027_0009__the_r_0027_0010__GECOS_r_0027_0011__QED [arg0] r_0027_0013__us us r_0027_0012__served->r_0027_0013__us [arg1] r_0027_0015__a_r_0027_0016__scripting_r_0027_0017__language a scripting language r_0027_0012__served->r_0027_0015__a_r_0027_0016__scripting_r_0027_0017__language as [nim] r_0027_0020__was was r_0027_0020__was->r_0027_0015__a_r_0027_0016__scripting_r_0027_0017__language [arg0] r_0027_0022__some_r_0027_0023__ways some ways r_0027_0020__was->r_0027_0022__some_r_0027_0023__ways in [nim] r_0027_0024__analogous analogous r_0027_0020__was->r_0027_0024__analogous [prd] r_0027_0028__or or r_0027_0024__analogous->r_0027_0028__or to r_0027_0027__Awk Awk r_0027_0028__or->r_0027_0027__Awk [conj1] r_0027_0029__Perl Perl r_0027_0028__or->r_0027_0029__Perl [conj2] r_0027_0031__today today r_0027_0028__or->r_0027_0031__today of z_000_27_a_history_of_qed_2 z_000_27_a_history_of_qed_2->r_0027_0012__served [conj1] z_000_27_a_history_of_qed_2->r_0027_0020__was [conj2] 
fof(formula,axiom,
    ? [Z_27_A_HISTORY_OF_QED_2,R_27_12_SERVED,R_27_9_THE_GECOS_QED,R_27_13_US,R_27_2_A_PERIOD,R_27_3_BRIEF,R_27_6_THE_1970S,R_27_20_WAS,R_27_15_A_SCRIPTING_LANGUAGE,R_27_24_ANALOGOUS,R_27_28_OR,R_27_27_AWK,R_27_29_PERL,R_27_31_TODAY,R_27_22_SOME_WAYS] :
      ( the_GECOS_QED(R_27_9_THE_GECOS_QED)
      & us(R_27_13_US)
      & brief(R_27_3_BRIEF)
      & the_1970s(R_27_6_THE_1970S)
      & a_scripting_language(R_27_15_A_SCRIPTING_LANGUAGE)
      & awk(R_27_27_AWK)
      & perl(R_27_29_PERL)
      & today(R_27_31_TODAY)
      & some_ways(R_27_22_SOME_WAYS)
      & z_27_a_history_of_qed_2(Z_27_A_HISTORY_OF_QED_2)
      & conj1(Z_27_A_HISTORY_OF_QED_2,R_27_12_SERVED)
      & served(R_27_12_SERVED,R_27_9_THE_GECOS_QED,R_27_13_US)
      & for_nim7(R_27_12_SERVED,R_27_2_A_PERIOD)
      & a_period(R_27_2_A_PERIOD)
      & attrib10(R_27_2_A_PERIOD,R_27_3_BRIEF)
      & in(R_27_2_A_PERIOD,R_27_6_THE_1970S)
      & as_nim40(R_27_12_SERVED,R_27_15_A_SCRIPTING_LANGUAGE)
      & conj2(Z_27_A_HISTORY_OF_QED_2,R_27_20_WAS)
      & was(R_27_20_WAS,R_27_15_A_SCRIPTING_LANGUAGE,R_27_24_ANALOGOUS)
      & analogous(R_27_24_ANALOGOUS)
      & to(R_27_24_ANALOGOUS,R_27_28_OR)
      & or(R_27_28_OR)
      & conj1(R_27_28_OR,R_27_27_AWK)
      & conj2(R_27_28_OR,R_27_29_PERL)
      & of(R_27_28_OR,R_27_31_TODAY)
      & in_nim59(R_27_20_WAS,R_27_22_SOME_WAYS) ) ).


n27_a_history_of_qed n27_a_history_of_qed_6 For n27_a_history_of_qed_9 a n27_a_history_of_qed_12 brief n27_a_history_of_qed_14 period n27_a_history_of_qed_17 in n27_a_history_of_qed_20 the n27_a_history_of_qed_22 1970s n27_a_history_of_qed_24 , n27_a_history_of_qed_27 the n27_a_history_of_qed_29 GECOS n27_a_history_of_qed_31 QED n27_a_history_of_qed_33 served n27_a_history_of_qed_36 us n27_a_history_of_qed_39 as n27_a_history_of_qed_42 a n27_a_history_of_qed_44 scripting n27_a_history_of_qed_46 language n27_a_history_of_qed_48 ; n27_a_history_of_qed_53 it n27_a_history_of_qed_55 was n27_a_history_of_qed_58 in n27_a_history_of_qed_61 some n27_a_history_of_qed_63 ways n27_a_history_of_qed_66 analogous n27_a_history_of_qed_69 to n27_a_history_of_qed_72 the n27_a_history_of_qed_76 Awk n27_a_history_of_qed_79 or n27_a_history_of_qed_82 Perl n27_a_history_of_qed_85 of n27_a_history_of_qed_88 today n27_a_history_of_qed_90 . n27_a_history_of_qed_1 IP-MAT n27_a_history_of_qed_2 ILYR n27_a_history_of_qed_1->n27_a_history_of_qed_2 n27_a_history_of_qed_89 PUNC n27_a_history_of_qed_1->n27_a_history_of_qed_89 n27_a_history_of_qed_3 ILYR n27_a_history_of_qed_2->n27_a_history_of_qed_3 n27_a_history_of_qed_47 PUNC n27_a_history_of_qed_2->n27_a_history_of_qed_47 n27_a_history_of_qed_49 CONJP n27_a_history_of_qed_2->n27_a_history_of_qed_49 n27_a_history_of_qed_4 PP-NIM n27_a_history_of_qed_3->n27_a_history_of_qed_4 n27_a_history_of_qed_23 PUNC n27_a_history_of_qed_3->n27_a_history_of_qed_23 n27_a_history_of_qed_25 NP-SBJ n27_a_history_of_qed_3->n27_a_history_of_qed_25 n27_a_history_of_qed_32 VBD;_Tn.pr_ n27_a_history_of_qed_3->n27_a_history_of_qed_32 n27_a_history_of_qed_34 NP-OB1 n27_a_history_of_qed_3->n27_a_history_of_qed_34 n27_a_history_of_qed_37 PP-NIM n27_a_history_of_qed_3->n27_a_history_of_qed_37 n27_a_history_of_qed_5 P-ROLE n27_a_history_of_qed_4->n27_a_history_of_qed_5 n27_a_history_of_qed_7 NP n27_a_history_of_qed_4->n27_a_history_of_qed_7 n27_a_history_of_qed_5->n27_a_history_of_qed_6 n27_a_history_of_qed_8 D n27_a_history_of_qed_7->n27_a_history_of_qed_8 n27_a_history_of_qed_10 ADJP n27_a_history_of_qed_7->n27_a_history_of_qed_10 n27_a_history_of_qed_13 N n27_a_history_of_qed_7->n27_a_history_of_qed_13 n27_a_history_of_qed_15 PP n27_a_history_of_qed_7->n27_a_history_of_qed_15 n27_a_history_of_qed_8->n27_a_history_of_qed_9 n27_a_history_of_qed_11 ADJ n27_a_history_of_qed_10->n27_a_history_of_qed_11 n27_a_history_of_qed_11->n27_a_history_of_qed_12 n27_a_history_of_qed_13->n27_a_history_of_qed_14 n27_a_history_of_qed_16 P-ROLE n27_a_history_of_qed_15->n27_a_history_of_qed_16 n27_a_history_of_qed_18 NP n27_a_history_of_qed_15->n27_a_history_of_qed_18 n27_a_history_of_qed_16->n27_a_history_of_qed_17 n27_a_history_of_qed_19 D n27_a_history_of_qed_18->n27_a_history_of_qed_19 n27_a_history_of_qed_21 NS n27_a_history_of_qed_18->n27_a_history_of_qed_21 n27_a_history_of_qed_19->n27_a_history_of_qed_20 n27_a_history_of_qed_21->n27_a_history_of_qed_22 n27_a_history_of_qed_23->n27_a_history_of_qed_24 n27_a_history_of_qed_26 D n27_a_history_of_qed_25->n27_a_history_of_qed_26 n27_a_history_of_qed_28 NPR n27_a_history_of_qed_25->n27_a_history_of_qed_28 n27_a_history_of_qed_30 NPR n27_a_history_of_qed_25->n27_a_history_of_qed_30 n27_a_history_of_qed_26->n27_a_history_of_qed_27 n27_a_history_of_qed_28->n27_a_history_of_qed_29 n27_a_history_of_qed_30->n27_a_history_of_qed_31 n27_a_history_of_qed_32->n27_a_history_of_qed_33 n27_a_history_of_qed_35 PRO n27_a_history_of_qed_34->n27_a_history_of_qed_35 n27_a_history_of_qed_35->n27_a_history_of_qed_36 n27_a_history_of_qed_38 P-ROLE n27_a_history_of_qed_37->n27_a_history_of_qed_38 n27_a_history_of_qed_40 NP n27_a_history_of_qed_37->n27_a_history_of_qed_40 n27_a_history_of_qed_38->n27_a_history_of_qed_39 n27_a_history_of_qed_41 D n27_a_history_of_qed_40->n27_a_history_of_qed_41 n27_a_history_of_qed_43 N n27_a_history_of_qed_40->n27_a_history_of_qed_43 n27_a_history_of_qed_45 N n27_a_history_of_qed_40->n27_a_history_of_qed_45 n27_a_history_of_qed_41->n27_a_history_of_qed_42 n27_a_history_of_qed_43->n27_a_history_of_qed_44 n27_a_history_of_qed_45->n27_a_history_of_qed_46 n27_a_history_of_qed_47->n27_a_history_of_qed_48 n27_a_history_of_qed_50 ILYR n27_a_history_of_qed_49->n27_a_history_of_qed_50 n27_a_history_of_qed_51 NP-SBJ n27_a_history_of_qed_50->n27_a_history_of_qed_51 n27_a_history_of_qed_54 BED;_La_ n27_a_history_of_qed_50->n27_a_history_of_qed_54 n27_a_history_of_qed_56 PP-NIM n27_a_history_of_qed_50->n27_a_history_of_qed_56 n27_a_history_of_qed_64 ADJP-PRD n27_a_history_of_qed_50->n27_a_history_of_qed_64 n27_a_history_of_qed_52 PRO n27_a_history_of_qed_51->n27_a_history_of_qed_52 n27_a_history_of_qed_52->n27_a_history_of_qed_53 n27_a_history_of_qed_54->n27_a_history_of_qed_55 n27_a_history_of_qed_57 P-ROLE n27_a_history_of_qed_56->n27_a_history_of_qed_57 n27_a_history_of_qed_59 NP n27_a_history_of_qed_56->n27_a_history_of_qed_59 n27_a_history_of_qed_57->n27_a_history_of_qed_58 n27_a_history_of_qed_60 D n27_a_history_of_qed_59->n27_a_history_of_qed_60 n27_a_history_of_qed_62 NS n27_a_history_of_qed_59->n27_a_history_of_qed_62 n27_a_history_of_qed_60->n27_a_history_of_qed_61 n27_a_history_of_qed_62->n27_a_history_of_qed_63 n27_a_history_of_qed_65 ADJ n27_a_history_of_qed_64->n27_a_history_of_qed_65 n27_a_history_of_qed_67 PP n27_a_history_of_qed_64->n27_a_history_of_qed_67 n27_a_history_of_qed_65->n27_a_history_of_qed_66 n27_a_history_of_qed_68 P-ROLE n27_a_history_of_qed_67->n27_a_history_of_qed_68 n27_a_history_of_qed_70 NP n27_a_history_of_qed_67->n27_a_history_of_qed_70 n27_a_history_of_qed_68->n27_a_history_of_qed_69 n27_a_history_of_qed_71 D n27_a_history_of_qed_70->n27_a_history_of_qed_71 n27_a_history_of_qed_73 NLYR n27_a_history_of_qed_70->n27_a_history_of_qed_73 n27_a_history_of_qed_83 PP n27_a_history_of_qed_70->n27_a_history_of_qed_83 n27_a_history_of_qed_71->n27_a_history_of_qed_72 n27_a_history_of_qed_74 NLYR n27_a_history_of_qed_73->n27_a_history_of_qed_74 n27_a_history_of_qed_77 CONJP n27_a_history_of_qed_73->n27_a_history_of_qed_77 n27_a_history_of_qed_75 NPR n27_a_history_of_qed_74->n27_a_history_of_qed_75 n27_a_history_of_qed_75->n27_a_history_of_qed_76 n27_a_history_of_qed_78 CONJ n27_a_history_of_qed_77->n27_a_history_of_qed_78 n27_a_history_of_qed_80 NLYR n27_a_history_of_qed_77->n27_a_history_of_qed_80 n27_a_history_of_qed_78->n27_a_history_of_qed_79 n27_a_history_of_qed_81 NPR n27_a_history_of_qed_80->n27_a_history_of_qed_81 n27_a_history_of_qed_81->n27_a_history_of_qed_82 n27_a_history_of_qed_84 P-ROLE n27_a_history_of_qed_83->n27_a_history_of_qed_84 n27_a_history_of_qed_86 NP n27_a_history_of_qed_83->n27_a_history_of_qed_86 n27_a_history_of_qed_84->n27_a_history_of_qed_85 n27_a_history_of_qed_87 N n27_a_history_of_qed_86->n27_a_history_of_qed_87 n27_a_history_of_qed_87->n27_a_history_of_qed_88 n27_a_history_of_qed_89->n27_a_history_of_qed_90 
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE For;{for})
                              (NP (D a;{a})
                                  (ADJP (ADJ brief;{brief}))
                                  (N period;{period})
                                  (PP (P-ROLE in;{in})
                                      (NP (D the;{the})
                                          (NS 1970s)))))
                      (PUNC ,)
                      (NP-SBJ;{GECOS_QED} (D the;{the})
                                          (NPR GECOS;{GECOS})
                                          (NPR QED;{QED}))
                      (VBD;_Tn.pr_ served;{serve})
                      (NP-OB1 (PRO us;{we}))
                      (PP-NIM (P-ROLE as;{as})
                              (NP;{GECOS_QED_LANG} (D a;{a})
                                                   (N scripting;{scripting})
                                                   (N language;{language}))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{GECOS_QED_LANG} (PRO it;{it}))
                             (BED;_La_ was;{be})
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (D some;{some})
                                         (NS ways;{way})))
                             (ADJP-PRD (ADJ analogous;{analogous})
                                       (PP (P-ROLE to;{to})
                                           (NP (D the;{the})
                                               (NLYR (NLYR (NPR Awk;{Awk}))
                                                     (CONJP (CONJ or;{or})
                                                            (NLYR (NPR Perl;{Perl}))))
                                               (PP (P-ROLE of;{of})
                                                   (NP (N today;{today})))))))))
          (PUNC .))
  (ID 27_a_history_of_qed))