TSPC 10_a_history_of

10_a_history_of_qed
He published this in C. ACM 11 <num> 6, and also received a patent for the technique: US Patent <num> 3568156.

( (IP-MAT (NP-SBJ;{KEN} (PRO He;{he}))
          (ILYR (ILYR (VBD;__ published;{publish})
                      (NP-OB1 (D;_nphd_ this;{this}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR C<dot>_ACM_11_<num>_6))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV also;{also}))
                             (VBD;__ received;{receive})
                             (NP-OB1 (D a;{a})
                                     (N patent;{patent})
                                     (PP (P-ROLE for;{for})
                                         (NP (D the;{the})
                                             (N technique;{technique})))
                                     (PUNC :)
                                     (PRN (NP (NLYR (NPR US)
                                                    (NPR Patent;{Patent}))
                                              (N <num>)
                                              (NPR 3568156)))))))
          (PUNC .))
  (ID 10_a_history_of_qed))

arc(r_0010_0002__published,r_0010_0001__He,arg0).
arc(r_0010_0002__published,r_0010_0003__this,arg1).
arc(r_0010_0002__published,r_0010_0005__C_dot__ACM_11__num__6,r_0010_0004__in__nim).
arc(r_0010_0007__and,r_0010_0002__published,conj1).
arc(r_0010_0007__and,r_0010_0009__received,conj2).
arc(r_0010_0009__received,r_0010_0001__He,arg0).
arc(r_0010_0009__received,r_0010_0008__also,nim).
arc(r_0010_0009__received,r_0010_0010__a_r_0010_0011__patent,arg1).
arc(r_0010_0010__a_r_0010_0011__patent,r_0010_0013__the_r_0010_0014__technique,r_0010_0012__for).
arc(r_0010_0018___num__r_0010_0019__3568156,r_0010_0016__US_r_0010_0017__Patent,nim).
arc(z_0010_5004,r_0010_0010__a_r_0010_0011__patent,arg0).
arc(z_0010_5004,r_0010_0018___num__r_0010_0019__3568156,prd).

fof(formula,axiom,
    ? [R_0010_0001__HE,R_0010_0003__THIS,R_0010_0005__C_DOT__ACM_11__NUM__6,R_0010_0002__PUBLISHED,R_0010_0008__ALSO,R_0010_0013__THE_R_0010_0014__TECHNIQUE,R_0010_0010__A_R_0010_0011__PATENT,R_0010_0009__RECEIVED,R_0010_0007__AND,R_0010_0016__US_R_0010_0017__PATENT,R_0010_0018___NUM__R_0010_0019__3568156,Z_0010_5004] :
      ( r_0010_0001__He(R_0010_0001__HE)
      & r_0010_0003__this(R_0010_0003__THIS)
      & r_0010_0005__C_dot__ACM_11__num__6(R_0010_0005__C_DOT__ACM_11__NUM__6)
      & r_0010_0008__also(R_0010_0008__ALSO)
      & r_0010_0013__the_r_0010_0014__technique(R_0010_0013__THE_R_0010_0014__TECHNIQUE)
      & r_0010_0016__US_r_0010_0017__Patent(R_0010_0016__US_R_0010_0017__PATENT)
      & z_0010_5004(Z_0010_5004)
      & has_prd(Z_0010_5004,R_0010_0018___NUM__R_0010_0019__3568156)
      & r_0010_0018___num__r_0010_0019__3568156(R_0010_0018___NUM__R_0010_0019__3568156)
      & has_nim(R_0010_0018___NUM__R_0010_0019__3568156,R_0010_0016__US_R_0010_0017__PATENT)
      & has_arg0(Z_0010_5004,R_0010_0010__A_R_0010_0011__PATENT)
      & r_0010_0010__a_r_0010_0011__patent(R_0010_0010__A_R_0010_0011__PATENT)
      & has_r_0010_0012__for(R_0010_0010__A_R_0010_0011__PATENT,R_0010_0013__THE_R_0010_0014__TECHNIQUE)
      & r_0010_0007__and(R_0010_0007__AND)
      & has_conj2(R_0010_0007__AND,R_0010_0009__RECEIVED)
      & r_0010_0009__received(R_0010_0009__RECEIVED)
      & has_arg1(R_0010_0009__RECEIVED,R_0010_0010__A_R_0010_0011__PATENT)
      & has_nim(R_0010_0009__RECEIVED,R_0010_0008__ALSO)
      & has_arg0(R_0010_0009__RECEIVED,R_0010_0001__HE)
      & has_conj1(R_0010_0007__AND,R_0010_0002__PUBLISHED)
      & r_0010_0002__published(R_0010_0002__PUBLISHED)
      & has_r_0010_0004__in__nim(R_0010_0002__PUBLISHED,R_0010_0005__C_DOT__ACM_11__NUM__6)
      & has_arg1(R_0010_0002__PUBLISHED,R_0010_0003__THIS)
      & has_arg0(R_0010_0002__PUBLISHED,R_0010_0001__HE) ) ).