Context                Previous, Next                Top


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

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


%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 [scope] r_0012_0001__While->r_0012_0005__was [restriction] 
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,nim).
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,nim).


%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_0012_0002__THE_R_0012_0003__BERKELEY_R_0012_0004__QED,R_0012_0006__CHARACTER,R_0012_0008__ORIENTED,R_0012_0005__WAS,R_0012_0010__THE_R_0012_0011__CTSS_R_0012_0012__VERSION,R_0012_0014__LINE,R_0012_0016__ORIENTED,R_0012_0013__WAS,R_0012_0001__WHILE] :
      ( r_0012_0002__the_r_0012_0003__Berkeley_r_0012_0004__QED(R_0012_0002__THE_R_0012_0003__BERKELEY_R_0012_0004__QED)
      & r_0012_0006__character(R_0012_0006__CHARACTER)
      & r_0012_0010__the_r_0012_0011__CTSS_r_0012_0012__version(R_0012_0010__THE_R_0012_0011__CTSS_R_0012_0012__VERSION)
      & r_0012_0014__line(R_0012_0014__LINE)
      & r_0012_0001__While(R_0012_0001__WHILE)
      & has_conj2(R_0012_0001__WHILE,R_0012_0013__WAS)
      & r_0012_0013__was(R_0012_0013__WAS)
      & has_prd(R_0012_0013__WAS,R_0012_0016__ORIENTED)
      & r_0012_0016__oriented(R_0012_0016__ORIENTED)
      & has_nim(R_0012_0016__ORIENTED,R_0012_0014__LINE)
      & has_arg0(R_0012_0013__WAS,R_0012_0010__THE_R_0012_0011__CTSS_R_0012_0012__VERSION)
      & has_conj1(R_0012_0001__WHILE,R_0012_0005__WAS)
      & r_0012_0005__was(R_0012_0005__WAS)
      & has_prd(R_0012_0005__WAS,R_0012_0008__ORIENTED)
      & r_0012_0008__oriented(R_0012_0008__ORIENTED)
      & has_nim(R_0012_0008__ORIENTED,R_0012_0006__CHARACTER)
      & has_arg0(R_0012_0005__WAS,R_0012_0002__THE_R_0012_0003__BERKELEY_R_0012_0004__QED) ) ).