22_a_history_of_qed
This version was described in an internal technical memo , which is obtainable either in a slightly cut - down HTML browsable format , or reproduced as a scanned ( and big : 1.1 MB ) PDF image .

%3 0022_0003__was_0022_0004__described was_described 0022_0001__This_0022_0002__version this_version 0022_0003__was_0022_0004__described->0022_0001__This_0022_0002__version [arg1] 0022_0006__an_0022_0009__memo an_memo 0022_0003__was_0022_0004__described->0022_0006__an_0022_0009__memo in[loc] 0022_0007__internal internal 0022_0006__an_0022_0009__memo->0022_0007__internal [attrib] 0022_0008__technical technical 0022_0006__an_0022_0009__memo->0022_0008__technical [attrib] 0022_0012__is is 0022_0012__is->0022_0006__an_0022_0009__memo [arg0] 0022_0013__obtainable obtainable 0022_0012__is->0022_0013__obtainable [prd2] 0022_0014__eithe0022_0025__or either_or 0022_0013__obtainable->0022_0014__eithe0022_0025__or 0022_0016__a_0022_0021__HTML_0022_0023__format a_html_format 0022_0014__eithe0022_0025__or->0022_0016__a_0022_0021__HTML_0022_0023__format in 0022_0027__a_0022_0036__PDF_0022_0037__image a_pdf_image 0022_0014__eithe0022_0025__or->0022_0027__a_0022_0036__PDF_0022_0037__image reproduced_as 0022_0022__browsable browsable 0022_0016__a_0022_0021__HTML_0022_0023__format->0022_0022__browsable [attrib] z_0022_1013 _ 0022_0016__a_0022_0021__HTML_0022_0023__format->z_0022_1013 [attrib] 0022_0030__and and 0022_0027__a_0022_0036__PDF_0022_0037__image->0022_0030__and [attrib] 0022_0017__slightly slightly z_0022_1013->0022_0017__slightly [qual] 0022_0031__big big 0022_0030__and->0022_0031__big [conj2] z_0022_1018 _ 0022_0030__and->z_0022_1018 [conj1] 0022_0033__1.1_0022_0034__MB 1.1_mb 0022_0033__1.1_0022_0034__MB->0022_0031__big [prn]
arc(r_0022_0003__was_r_0022_0004__described,r_0022_0001__This_r_0022_0002__version,arg1).
arc(r_0022_0003__was_r_0022_0004__described,r_0022_0006__an_r_0022_0009__memo,r_0022_0005__in__loc).
arc(r_0022_0006__an_r_0022_0009__memo,r_0022_0007__internal,attrib).
arc(r_0022_0006__an_r_0022_0009__memo,r_0022_0008__technical,attrib).
arc(r_0022_0012__is,r_0022_0006__an_r_0022_0009__memo,arg0).
arc(r_0022_0012__is,r_0022_0013__obtainable,prd2).
arc(r_0022_0013__obtainable,r_0022_0014__either_r_0022_0025__or,z_0022_1008).
arc(r_0022_0014__either_r_0022_0025__or,r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format,r_0022_0015__in).
arc(r_0022_0014__either_r_0022_0025__or,r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image,r_0022_0026__reproduced_as).
arc(r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format,r_0022_0022__browsable,attrib).
arc(r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format,z_0022_1013,attrib).
arc(r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image,r_0022_0030__and,attrib).
arc(r_0022_0030__and,r_0022_0031__big,conj2).
arc(r_0022_0030__and,z_0022_1018,conj1).
arc(r_0022_0033__1_dot_1_r_0022_0034__MB,r_0022_0031__big,prn).
arc(z_0022_1013,r_0022_0017__slightly,qual).


IP-MAT NP-SBJ D This N version BED;~cat_Ve_passive_ was IP-PPL-CAT NP-LGS * VVN described PP-LOC P-ROLE in NP D an ADJP ADJ internal ADJP ADJ technical N memo PUNC , IP-REL NP-SBJ RPRO which BEP;~La is ADJP-PRD2 ADJ obtainable PP CONJ either PP P-ROLE in NP D a ADJP ADVP ADV slightly VVN cut PUNC - RP down NPR HTML ADJP ADJ browsable N format PUNC , CONJP CONJ or PP P-ROLE reproduced_as NP D a ADJP AJLYR ADJP VVN scanned PULB -LRB- CONJP CONJ and ADJP ADJ big PUNC : PRN NP NUM 1.1 N MB PURB -RRB- N PDF N image PUNC .
( (IP-MAT (NP-SBJ;{GECOS_QED} (D This;{this})
                              (N version;{version}))
          (BED;~cat_Ve_passive_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN described;{describe})
                      (PP-LOC (P-ROLE in;{in})
                              (NP (D an;{an})
                                  (ADJP (ADJ internal;{internal}))
                                  (ADJP (ADJ technical;{technical}))
                                  (N memo;{memo})
                                  (PUNC ,)
                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                          (BEP;~La is;{be})
                                          (ADJP-PRD2 (ADJ obtainable;{obtainable})
                                                     (PP (CONJ either;{either})
                                                         (PP (P-ROLE in;{in})
                                                             (NP (D a;{a})
                                                                 (ADJP (ADVP (ADV slightly;{slightly}))
                                                                       (VVN cut;{cut})
                                                                       (PUNC -)
                                                                       (RP down;{down}))
                                                                 (NPR HTML;{HTML})
                                                                 (ADJP (ADJ browsable;{browsable}))
                                                                 (N format;{format})))
                                                         (PUNC ,)
                                                         (CONJP (CONJ or;{or})
                                                                (PP (P-ROLE reproduced_as;{reproduced_as})
                                                                    (NP (D a;{a})
                                                                        (ADJP (AJLYR (ADJP (VVN scanned;{scan}))
                                                                                     (PULB -LRB-)
                                                                                     (CONJP (CONJ and;{and})
                                                                                            (ADJP (ADJ big;{big})
                                                                                                  (PUNC :)
                                                                                                  (PRN (NP (NUM 1<dot>1)
                                                                                                           (N MB;{mb})))))
                                                                                     (PURB -RRB-)))
                                                                        (N PDF;{pdf})
                                                                        (N image;{image}))))))))))
          (PUNC .))
  (ID 22_a_history_of_qed))