TSPC 36_a_dick

36_a_dick_1952
A fission visible as far away as our system must be a terrible thing.”

( (IP-MAT (NP-SBJ (D A;{a})
                  (N fission;{fission})
                  (ADJP (ADJ visible;{visible})
                        (ADVP-NIM (ADVP (ADVP (ADV as;{as}))
                                        (ADV far;{far})
                                        (PP *ICH*-172))
                                  (ADV away;{away})
                                  (PP-EPD-172 (P-ROLE as;{as})
                                              (NP (NP-GEN;{TRESPASSERS} (PRO;_genm_ our;{our}))
                                                  (N system;{system}))))))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (BE;_Ln_ be;{be})
                      (NP-PRD (D a;{a})
                              (ADJP (ADJ terrible;{terrible}))
                              (N thing;{thing})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 36_a_dick_1952))

arc(r_0036_0001__A_r_0036_0002__fission,r_0036_0003__visible,attrib).
arc(r_0036_0003__visible,r_0036_0006__away,nim).
arc(r_0036_0005__far,r_0036_0004__as,qual).
arc(r_0036_0005__far,r_0036_0009__system,r_0036_0007__as).
arc(r_0036_0006__away,r_0036_0005__far,qual).
arc(r_0036_0009__system,r_0036_0008__our,gen).
arc(r_0036_0010__must,r_0036_0011__be,scope).
arc(r_0036_0011__be,r_0036_0001__A_r_0036_0002__fission,arg0).
arc(r_0036_0011__be,r_0036_0012__a_r_0036_0014__thing,prd).
arc(r_0036_0012__a_r_0036_0014__thing,r_0036_0013__terrible,attrib).

fof(formula,axiom,
    ? [R_0036_0004__AS,R_0036_0008__OUR,R_0036_0009__SYSTEM,R_0036_0005__FAR,R_0036_0006__AWAY,R_0036_0003__VISIBLE,R_0036_0001__A_R_0036_0002__FISSION,R_0036_0013__TERRIBLE,R_0036_0012__A_R_0036_0014__THING,R_0036_0010__MUST_R_0036_0011__BE] :
      ( r_0036_0004__as(R_0036_0004__AS)
      & r_0036_0008__our(R_0036_0008__OUR)
      & r_0036_0013__terrible(R_0036_0013__TERRIBLE)
      & r_0036_0010__must_r_0036_0011__be(R_0036_0010__MUST_R_0036_0011__BE)
      & has_prd(R_0036_0010__MUST_R_0036_0011__BE,R_0036_0012__A_R_0036_0014__THING)
      & r_0036_0012__a_r_0036_0014__thing(R_0036_0012__A_R_0036_0014__THING)
      & has_attrib(R_0036_0012__A_R_0036_0014__THING,R_0036_0013__TERRIBLE)
      & has_arg0(R_0036_0010__MUST_R_0036_0011__BE,R_0036_0001__A_R_0036_0002__FISSION)
      & r_0036_0001__A_r_0036_0002__fission(R_0036_0001__A_R_0036_0002__FISSION)
      & has_attrib(R_0036_0001__A_R_0036_0002__FISSION,R_0036_0003__VISIBLE)
      & r_0036_0003__visible(R_0036_0003__VISIBLE)
      & has_nim(R_0036_0003__VISIBLE,R_0036_0006__AWAY)
      & r_0036_0006__away(R_0036_0006__AWAY)
      & has_qual(R_0036_0006__AWAY,R_0036_0005__FAR)
      & r_0036_0005__far(R_0036_0005__FAR)
      & has_r_0036_0007__as(R_0036_0005__FAR,R_0036_0009__SYSTEM)
      & r_0036_0009__system(R_0036_0009__SYSTEM)
      & has_gen(R_0036_0009__SYSTEM,R_0036_0008__OUR)
      & has_qual(R_0036_0005__FAR,R_0036_0004__AS) ) ).