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_0001__While While r_0012_0005__was was r_0012_0001__While->r_0012_0005__was [conj1] r_0012_0013__was was r_0012_0001__While->r_0012_0013__was [conj2] 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] 
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_4 While n12_a_history_of_qed_8 the n12_a_history_of_qed_10 Berkeley n12_a_history_of_qed_12 QED n12_a_history_of_qed_14 was n12_a_history_of_qed_18 character n12_a_history_of_qed_20 - n12_a_history_of_qed_22 oriented n12_a_history_of_qed_24 , n12_a_history_of_qed_27 the n12_a_history_of_qed_29 CTSS n12_a_history_of_qed_31 version n12_a_history_of_qed_33 was n12_a_history_of_qed_37 line n12_a_history_of_qed_39 - n12_a_history_of_qed_41 oriented n12_a_history_of_qed_43 . n12_a_history_of_qed_1 IP-MAT n12_a_history_of_qed_2 PP-SCON n12_a_history_of_qed_1->n12_a_history_of_qed_2 n12_a_history_of_qed_23 PUNC n12_a_history_of_qed_1->n12_a_history_of_qed_23 n12_a_history_of_qed_25 NP-SBJ n12_a_history_of_qed_1->n12_a_history_of_qed_25 n12_a_history_of_qed_32 BED;_La_ n12_a_history_of_qed_1->n12_a_history_of_qed_32 n12_a_history_of_qed_34 ADJP-PRD n12_a_history_of_qed_1->n12_a_history_of_qed_34 n12_a_history_of_qed_42 PUNC n12_a_history_of_qed_1->n12_a_history_of_qed_42 n12_a_history_of_qed_3 P-CONN n12_a_history_of_qed_2->n12_a_history_of_qed_3 n12_a_history_of_qed_5 IP-ADV n12_a_history_of_qed_2->n12_a_history_of_qed_5 n12_a_history_of_qed_3->n12_a_history_of_qed_4 n12_a_history_of_qed_6 NP-SBJ n12_a_history_of_qed_5->n12_a_history_of_qed_6 n12_a_history_of_qed_13 BED;_La_ n12_a_history_of_qed_5->n12_a_history_of_qed_13 n12_a_history_of_qed_15 ADJP-PRD n12_a_history_of_qed_5->n12_a_history_of_qed_15 n12_a_history_of_qed_7 D n12_a_history_of_qed_6->n12_a_history_of_qed_7 n12_a_history_of_qed_9 NPR n12_a_history_of_qed_6->n12_a_history_of_qed_9 n12_a_history_of_qed_11 NPR n12_a_history_of_qed_6->n12_a_history_of_qed_11 n12_a_history_of_qed_7->n12_a_history_of_qed_8 n12_a_history_of_qed_9->n12_a_history_of_qed_10 n12_a_history_of_qed_11->n12_a_history_of_qed_12 n12_a_history_of_qed_13->n12_a_history_of_qed_14 n12_a_history_of_qed_16 NP n12_a_history_of_qed_15->n12_a_history_of_qed_16 n12_a_history_of_qed_19 PUNC n12_a_history_of_qed_15->n12_a_history_of_qed_19 n12_a_history_of_qed_21 ADJ n12_a_history_of_qed_15->n12_a_history_of_qed_21 n12_a_history_of_qed_17 N n12_a_history_of_qed_16->n12_a_history_of_qed_17 n12_a_history_of_qed_17->n12_a_history_of_qed_18 n12_a_history_of_qed_19->n12_a_history_of_qed_20 n12_a_history_of_qed_21->n12_a_history_of_qed_22 n12_a_history_of_qed_23->n12_a_history_of_qed_24 n12_a_history_of_qed_26 D n12_a_history_of_qed_25->n12_a_history_of_qed_26 n12_a_history_of_qed_28 NPR n12_a_history_of_qed_25->n12_a_history_of_qed_28 n12_a_history_of_qed_30 N n12_a_history_of_qed_25->n12_a_history_of_qed_30 n12_a_history_of_qed_26->n12_a_history_of_qed_27 n12_a_history_of_qed_28->n12_a_history_of_qed_29 n12_a_history_of_qed_30->n12_a_history_of_qed_31 n12_a_history_of_qed_32->n12_a_history_of_qed_33 n12_a_history_of_qed_35 NP n12_a_history_of_qed_34->n12_a_history_of_qed_35 n12_a_history_of_qed_38 PUNC n12_a_history_of_qed_34->n12_a_history_of_qed_38 n12_a_history_of_qed_40 ADJ n12_a_history_of_qed_34->n12_a_history_of_qed_40 n12_a_history_of_qed_36 N n12_a_history_of_qed_35->n12_a_history_of_qed_36 n12_a_history_of_qed_36->n12_a_history_of_qed_37 n12_a_history_of_qed_38->n12_a_history_of_qed_39 n12_a_history_of_qed_40->n12_a_history_of_qed_41 n12_a_history_of_qed_42->n12_a_history_of_qed_43 
( (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))