TSPC 36_a_dick

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

arc(r_0036_0001__A_r_0036_0002__fission, r_0036_0003__visible, attrib7).
arc(r_0036_0003__visible, r_0036_0006__away, qual10).
arc(r_0036_0005__far, r_0036_0004__as, qual12).
arc(r_0036_0005__far, r_0036_0009__system, r_0036_0007__as).
arc(r_0036_0006__away, r_0036_0005__far, qual11).
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, attrib38).

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_attrib38(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_attrib7(R_0036_0001__A_R_0036_0002__FISSION,R_0036_0003__VISIBLE)
      & r_0036_0003__visible(R_0036_0003__VISIBLE)
      & has_qual10(R_0036_0003__VISIBLE,R_0036_0006__AWAY)
      & r_0036_0006__away(R_0036_0006__AWAY)
      & has_qual11(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_qual12(R_0036_0005__FAR,R_0036_0004__AS) ) ).

( (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))