TSPC 20_a_history_of

20_a_history_of_qed
I liked QED, and so set out to write a version of it for this system.

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (ILYR (ILYR (VBD;__ liked;{like})
                      (NP-OB1;{QED} (NPR QED;{QED})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV so;{so}))
                             (VBD;__ set;{set})
                             (RP out;{out})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;__ write;{write})
                                         (NP-OB1;{GECOS_QED} (D a;{a})
                                                             (N version;{version})
                                                             (PP (P-ROLE of;{of})
                                                                 (NP;{QED} (PRO it;{it}))))
                                         (PP-NIM (P-ROLE for;{for})
                                                 (NP;{GE_SYSTEM} (D this;{this})
                                                                 (N system;{system})))))))
          (PUNC .))
  (ID 20_a_history_of_qed))

arc(r_0020_0002__liked,r_0020_0001__I,arg0).
arc(r_0020_0002__liked,r_0020_0003__QED,arg1).
arc(r_0020_0005__and,r_0020_0002__liked,conj1).
arc(r_0020_0005__and,r_0020_0007__set_r_0020_0008__out,conj2).
arc(r_0020_0007__set_r_0020_0008__out,r_0020_0001__I,arg0).
arc(r_0020_0007__set_r_0020_0008__out,r_0020_0006__so,nim).
arc(r_0020_0007__set_r_0020_0008__out,r_0020_0010__write,arg1).
arc(r_0020_0010__write,r_0020_0001__I,arg0).
arc(r_0020_0010__write,r_0020_0011__a_r_0020_0012__version,arg1).
arc(r_0020_0010__write,r_0020_0016__this_r_0020_0017__system,r_0020_0015__for__nim).
arc(r_0020_0011__a_r_0020_0012__version,r_0020_0003__QED,r_0020_0013__of).

fof(formula,axiom,
    ? [R_0020_0001__I,R_0020_0003__QED,R_0020_0002__LIKED,R_0020_0006__SO,R_0020_0011__A_R_0020_0012__VERSION,R_0020_0016__THIS_R_0020_0017__SYSTEM,R_0020_0010__WRITE,R_0020_0007__SET_R_0020_0008__OUT,R_0020_0005__AND] :
      ( r_0020_0001__I(R_0020_0001__I)
      & r_0020_0003__QED(R_0020_0003__QED)
      & r_0020_0006__so(R_0020_0006__SO)
      & r_0020_0016__this_r_0020_0017__system(R_0020_0016__THIS_R_0020_0017__SYSTEM)
      & r_0020_0005__and(R_0020_0005__AND)
      & has_conj2(R_0020_0005__AND,R_0020_0007__SET_R_0020_0008__OUT)
      & r_0020_0007__set_r_0020_0008__out(R_0020_0007__SET_R_0020_0008__OUT)
      & has_arg1(R_0020_0007__SET_R_0020_0008__OUT,R_0020_0010__WRITE)
      & r_0020_0010__write(R_0020_0010__WRITE)
      & has_r_0020_0015__for__nim(R_0020_0010__WRITE,R_0020_0016__THIS_R_0020_0017__SYSTEM)
      & has_arg1(R_0020_0010__WRITE,R_0020_0011__A_R_0020_0012__VERSION)
      & r_0020_0011__a_r_0020_0012__version(R_0020_0011__A_R_0020_0012__VERSION)
      & has_r_0020_0013__of(R_0020_0011__A_R_0020_0012__VERSION,R_0020_0003__QED)
      & has_arg0(R_0020_0010__WRITE,R_0020_0001__I)
      & has_nim(R_0020_0007__SET_R_0020_0008__OUT,R_0020_0006__SO)
      & has_arg0(R_0020_0007__SET_R_0020_0008__OUT,R_0020_0001__I)
      & has_conj1(R_0020_0005__AND,R_0020_0002__LIKED)
      & r_0020_0002__liked(R_0020_0002__LIKED)
      & has_arg1(R_0020_0002__LIKED,R_0020_0003__QED)
      & has_arg0(R_0020_0002__LIKED,R_0020_0001__I) ) ).