Context                Previous, Next                Top


12_a_history_of_qed
While the Berkeley QED was character - oriented, the CTSS version was line - oriented.

%3 r_0012_0001__While While r_0012_0005__was was r_0012_0001__While->r_0012_0005__was [restriction] r_0012_0013__was was r_0012_0001__While->r_0012_0013__was [scope] r_0012_0002__the_r_0012_0003__Berkeley_r_0012_0004__QED the Berkeley QED r_0012_0005__was->r_0012_0002__the_r_0012_0003__Berkeley_r_0012_0004__QED [arg0] r_0012_0008__oriented oriented r_0012_0005__was->r_0012_0008__oriented [prd] r_0012_0010__the_r_0012_0011__CTSS_r_0012_0012__version the CTSS version r_0012_0013__was->r_0012_0010__the_r_0012_0011__CTSS_r_0012_0012__version [arg0] r_0012_0016__oriented oriented r_0012_0013__was->r_0012_0016__oriented [prd] r_0012_0006__character character r_0012_0008__oriented->r_0012_0006__character [nim] r_0012_0014__line line r_0012_0016__oriented->r_0012_0014__line [nim] 
arc(r_0012_0001__While, r_0012_0005__was, restriction).
arc(r_0012_0001__While, r_0012_0013__was, scope).
arc(r_0012_0005__was, r_0012_0002__the_r_0012_0003__Berkeley_r_0012_0004__QED, arg0).
arc(r_0012_0005__was, r_0012_0008__oriented, prd).
arc(r_0012_0008__oriented, r_0012_0006__character, nim16).
arc(r_0012_0013__was, r_0012_0010__the_r_0012_0011__CTSS_r_0012_0012__version, arg0).
arc(r_0012_0013__was, r_0012_0016__oriented, prd).
arc(r_0012_0016__oriented, r_0012_0014__line, nim35).


%3 r_0012_0016__oriented oriented r_0012_0014__line line r_0012_0016__oriented->r_0012_0014__line [nim] r_0012_0013__was was r_0012_0013__was->r_0012_0016__oriented [prd] r_0012_0010__the_r_0012_0011__CTSS_r_0012_0012__version the CTSS version r_0012_0013__was->r_0012_0010__the_r_0012_0011__CTSS_r_0012_0012__version [arg0] r_0012_0008__oriented oriented r_0012_0006__character character r_0012_0008__oriented->r_0012_0006__character [nim] r_0012_0005__was was r_0012_0005__was->r_0012_0008__oriented [prd] r_0012_0002__the_r_0012_0003__Berkeley_r_0012_0004__QED the Berkeley QED r_0012_0005__was->r_0012_0002__the_r_0012_0003__Berkeley_r_0012_0004__QED [arg0] r_0012_0001__While While r_0012_0001__While->r_0012_0013__was [conj2] r_0012_0001__While->r_0012_0005__was [conj1] 
fof(formula,axiom,
    ? [R_12_1_WHILE,R_12_5_WAS,R_12_2_THE_BERKELEY_QED,R_12_8_ORIENTED,R_12_6_CHARACTER,R_12_13_WAS,R_12_10_THE_CTSS_VERSION,R_12_16_ORIENTED,R_12_14_LINE] :
      ( the_Berkeley_QED(R_12_2_THE_BERKELEY_QED)
      & character(R_12_6_CHARACTER)
      & the_CTSS_version(R_12_10_THE_CTSS_VERSION)
      & line(R_12_14_LINE)
      & while(R_12_1_WHILE)
      & conj1(R_12_1_WHILE,R_12_5_WAS)
      & was(R_12_5_WAS,R_12_2_THE_BERKELEY_QED,R_12_8_ORIENTED)
      & oriented(R_12_8_ORIENTED)
      & nim16(R_12_8_ORIENTED,R_12_6_CHARACTER)
      & conj2(R_12_1_WHILE,R_12_13_WAS)
      & was(R_12_13_WAS,R_12_10_THE_CTSS_VERSION,R_12_16_ORIENTED)
      & oriented(R_12_16_ORIENTED)
      & nim35(R_12_16_ORIENTED,R_12_14_LINE) ) ).


n12_a_history_of_qed n12_a_history_of_qed__1_1_1_1 While n12_a_history_of_qed__1_1_2_1_1_1 the n12_a_history_of_qed__1_1_2_1_2_1 Berkeley n12_a_history_of_qed__1_1_2_1_3_1 QED n12_a_history_of_qed__1_1_2_2_1 was n12_a_history_of_qed__1_1_2_3_1_1_1 character n12_a_history_of_qed__1_1_2_3_2_1 - n12_a_history_of_qed__1_1_2_3_3_1 oriented n12_a_history_of_qed__1_2_1 , n12_a_history_of_qed__1_3_1_1 the n12_a_history_of_qed__1_3_2_1 CTSS n12_a_history_of_qed__1_3_3_1 version n12_a_history_of_qed__1_4_1 was n12_a_history_of_qed__1_5_1_1_1 line n12_a_history_of_qed__1_5_2_1 - n12_a_history_of_qed__1_5_3_1 oriented n12_a_history_of_qed__1_6_1 . n12_a_history_of_qed__1 IP-MAT n12_a_history_of_qed__1_1 PP-SCON n12_a_history_of_qed__1->n12_a_history_of_qed__1_1 n12_a_history_of_qed__1_2 PUNC n12_a_history_of_qed__1->n12_a_history_of_qed__1_2 n12_a_history_of_qed__1_3 NP-SBJ n12_a_history_of_qed__1->n12_a_history_of_qed__1_3 n12_a_history_of_qed__1_4 BED;_La_ n12_a_history_of_qed__1->n12_a_history_of_qed__1_4 n12_a_history_of_qed__1_5 ADJP-PRD n12_a_history_of_qed__1->n12_a_history_of_qed__1_5 n12_a_history_of_qed__1_6 PUNC n12_a_history_of_qed__1->n12_a_history_of_qed__1_6 n12_a_history_of_qed__1_1_1 P-CONN n12_a_history_of_qed__1_1->n12_a_history_of_qed__1_1_1 n12_a_history_of_qed__1_1_2 IP-ADV n12_a_history_of_qed__1_1->n12_a_history_of_qed__1_1_2 n12_a_history_of_qed__1_1_1->n12_a_history_of_qed__1_1_1_1 n12_a_history_of_qed__1_1_2_1 NP-SBJ n12_a_history_of_qed__1_1_2->n12_a_history_of_qed__1_1_2_1 n12_a_history_of_qed__1_1_2_2 BED;_La_ n12_a_history_of_qed__1_1_2->n12_a_history_of_qed__1_1_2_2 n12_a_history_of_qed__1_1_2_3 ADJP-PRD n12_a_history_of_qed__1_1_2->n12_a_history_of_qed__1_1_2_3 n12_a_history_of_qed__1_1_2_1_1 D n12_a_history_of_qed__1_1_2_1->n12_a_history_of_qed__1_1_2_1_1 n12_a_history_of_qed__1_1_2_1_2 NPR n12_a_history_of_qed__1_1_2_1->n12_a_history_of_qed__1_1_2_1_2 n12_a_history_of_qed__1_1_2_1_3 NPR n12_a_history_of_qed__1_1_2_1->n12_a_history_of_qed__1_1_2_1_3 n12_a_history_of_qed__1_1_2_1_1->n12_a_history_of_qed__1_1_2_1_1_1 n12_a_history_of_qed__1_1_2_1_2->n12_a_history_of_qed__1_1_2_1_2_1 n12_a_history_of_qed__1_1_2_1_3->n12_a_history_of_qed__1_1_2_1_3_1 n12_a_history_of_qed__1_1_2_2->n12_a_history_of_qed__1_1_2_2_1 n12_a_history_of_qed__1_1_2_3_1 NP n12_a_history_of_qed__1_1_2_3->n12_a_history_of_qed__1_1_2_3_1 n12_a_history_of_qed__1_1_2_3_2 PUNC n12_a_history_of_qed__1_1_2_3->n12_a_history_of_qed__1_1_2_3_2 n12_a_history_of_qed__1_1_2_3_3 ADJ n12_a_history_of_qed__1_1_2_3->n12_a_history_of_qed__1_1_2_3_3 n12_a_history_of_qed__1_1_2_3_1_1 N n12_a_history_of_qed__1_1_2_3_1->n12_a_history_of_qed__1_1_2_3_1_1 n12_a_history_of_qed__1_1_2_3_1_1->n12_a_history_of_qed__1_1_2_3_1_1_1 n12_a_history_of_qed__1_1_2_3_2->n12_a_history_of_qed__1_1_2_3_2_1 n12_a_history_of_qed__1_1_2_3_3->n12_a_history_of_qed__1_1_2_3_3_1 n12_a_history_of_qed__1_2->n12_a_history_of_qed__1_2_1 n12_a_history_of_qed__1_3_1 D n12_a_history_of_qed__1_3->n12_a_history_of_qed__1_3_1 n12_a_history_of_qed__1_3_2 NPR n12_a_history_of_qed__1_3->n12_a_history_of_qed__1_3_2 n12_a_history_of_qed__1_3_3 N n12_a_history_of_qed__1_3->n12_a_history_of_qed__1_3_3 n12_a_history_of_qed__1_3_1->n12_a_history_of_qed__1_3_1_1 n12_a_history_of_qed__1_3_2->n12_a_history_of_qed__1_3_2_1 n12_a_history_of_qed__1_3_3->n12_a_history_of_qed__1_3_3_1 n12_a_history_of_qed__1_4->n12_a_history_of_qed__1_4_1 n12_a_history_of_qed__1_5_1 NP n12_a_history_of_qed__1_5->n12_a_history_of_qed__1_5_1 n12_a_history_of_qed__1_5_2 PUNC n12_a_history_of_qed__1_5->n12_a_history_of_qed__1_5_2 n12_a_history_of_qed__1_5_3 ADJ n12_a_history_of_qed__1_5->n12_a_history_of_qed__1_5_3 n12_a_history_of_qed__1_5_1_1 N n12_a_history_of_qed__1_5_1->n12_a_history_of_qed__1_5_1_1 n12_a_history_of_qed__1_5_1_1->n12_a_history_of_qed__1_5_1_1_1 n12_a_history_of_qed__1_5_2->n12_a_history_of_qed__1_5_2_1 n12_a_history_of_qed__1_5_3->n12_a_history_of_qed__1_5_3_1 n12_a_history_of_qed__1_6->n12_a_history_of_qed__1_6_1 
( (IP-MAT (PP-SCON (P-CONN While;{while})
                   (IP-ADV (NP-SBJ;{BERKELEY_QED} (D the;{the})
                                                  (NPR Berkeley;{Berkeley})
                                                  (NPR QED;{QED}))
                           (BED;_La_ was;{be})
                           (ADJP-PRD (NP (N character;{character}))
                                     (PUNC <hyphen>)
                                     (ADJ oriented;{oriented}))))
          (PUNC ,)
          (NP-SBJ;{CTSS_QED} (D the;{the})
                             (NPR CTSS;{CTSS})
                             (N version;{version}))
          (BED;_La_ was;{be})
          (ADJP-PRD (NP (N line;{line}))
                    (PUNC <hyphen>)
                    (ADJ oriented;{oriented}))
          (PUNC .))
  (ID 12_a_history_of_qed))