TSPC 578_a_dick

578_a_dick_1952
The important thing was to repair it as quickly as possible, to get it into the air.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ important;{important}))
                  (N thing;{thing}))
          (BED;_equ_Vt_ was;{be})
          (IP-INF-PRD (TO to;{to})
                      (VB;_Tn_ repair;{repair})
                      (NP-OB1;{SHIP} (PRO it;{it}))
                      (ADVP-NIM (ADVP (ADV as;{as}))
                                (ADV quickly;{quickly})
                                (PP (P-ROLE as;{as})
                                    (ADJP (ADJ possible;{possible}))))
                      (PUNC ,)
                      (PP-SCON (IP-INF2 (TO to;{to})
                                        (VB;_Tn.pr_ get;{get[into]})
                                        (NP-OB1;{SHIP} (PRO it;{it}))
                                        (PP-CLR (P-ROLE into;{into})
                                                (NP (D the;{the})
                                                    (N air;{air}))))))
          (PUNC .))
  (ID 578_a_dick_1952))

arc(r_0578_0001__The_r_0578_0003__thing,r_0578_0002__important,attrib).
arc(r_0578_0004__was,r_0578_0001__The_r_0578_0003__thing,arg0).
arc(r_0578_0004__was,z_0578_5006,prd).
arc(r_0578_0006__repair,r_0578_0007__it,arg1).
arc(r_0578_0006__repair,r_0578_0009__quickly,nim).
arc(r_0578_0006__repair,z_0578_5005,arg0).
arc(r_0578_0009__quickly,r_0578_0008__as,qual).
arc(r_0578_0009__quickly,r_0578_0011__possible,r_0578_0010__as).
arc(r_0578_0014__get_r_0578_0016__into,r_0578_0007__it,arg1).
arc(r_0578_0014__get_r_0578_0016__into,r_0578_0017__the_r_0578_0018__air,arg2).
arc(r_0578_0014__get_r_0578_0016__into,z_0578_5005,arg0).
arc(z_0578_5006,r_0578_0006__repair,scope).
arc(z_0578_5006,r_0578_0014__get_r_0578_0016__into,restriction).

fof(formula,axiom,
    ? [R_0578_0002__IMPORTANT,R_0578_0001__THE_R_0578_0003__THING,R_0578_0007__IT,R_0578_0008__AS,R_0578_0011__POSSIBLE,R_0578_0009__QUICKLY,Z_0578_5005,R_0578_0006__REPAIR,R_0578_0017__THE_R_0578_0018__AIR,R_0578_0014__GET_R_0578_0016__INTO,Z_0578_5006,R_0578_0004__WAS] :
      ( r_0578_0002__important(R_0578_0002__IMPORTANT)
      & r_0578_0007__it(R_0578_0007__IT)
      & r_0578_0008__as(R_0578_0008__AS)
      & r_0578_0011__possible(R_0578_0011__POSSIBLE)
      & r_0578_0017__the_r_0578_0018__air(R_0578_0017__THE_R_0578_0018__AIR)
      & z_0578_5005(Z_0578_5005)
      & r_0578_0004__was(R_0578_0004__WAS)
      & has_prd(R_0578_0004__WAS,Z_0578_5006)
      & z_0578_5006(Z_0578_5006)
      & has_conj1(Z_0578_5006,R_0578_0014__GET_R_0578_0016__INTO)
      & r_0578_0014__get_r_0578_0016__into(R_0578_0014__GET_R_0578_0016__INTO)
      & has_arg0(R_0578_0014__GET_R_0578_0016__INTO,Z_0578_5005)
      & has_arg2(R_0578_0014__GET_R_0578_0016__INTO,R_0578_0017__THE_R_0578_0018__AIR)
      & has_arg1(R_0578_0014__GET_R_0578_0016__INTO,R_0578_0007__IT)
      & has_conj2(Z_0578_5006,R_0578_0006__REPAIR)
      & r_0578_0006__repair(R_0578_0006__REPAIR)
      & has_arg0(R_0578_0006__REPAIR,Z_0578_5005)
      & has_nim(R_0578_0006__REPAIR,R_0578_0009__QUICKLY)
      & r_0578_0009__quickly(R_0578_0009__QUICKLY)
      & has_r_0578_0010__as(R_0578_0009__QUICKLY,R_0578_0011__POSSIBLE)
      & has_qual(R_0578_0009__QUICKLY,R_0578_0008__AS)
      & has_arg1(R_0578_0006__REPAIR,R_0578_0007__IT)
      & has_arg0(R_0578_0004__WAS,R_0578_0001__THE_R_0578_0003__THING)
      & r_0578_0001__The_r_0578_0003__thing(R_0578_0001__THE_R_0578_0003__THING)
      & has_attrib(R_0578_0001__THE_R_0578_0003__THING,R_0578_0002__IMPORTANT) ) ).