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_36_10_MUST_BE,R_36_1_A_FISSION,R_36_3_VISIBLE,R_36_6_AWAY,R_36_5_FAR,R_36_4_AS,R_36_9_SYSTEM,R_36_8_OUR,R_36_12_A_THING,R_36_13_TERRIBLE] :
( as(R_36_4_AS)
& our(R_36_8_OUR)
& terrible(R_36_13_TERRIBLE)
& must_be(R_36_10_MUST_BE,R_36_1_A_FISSION,R_36_12_A_THING)
& a_fission(R_36_1_A_FISSION)
& attrib7(R_36_1_A_FISSION,R_36_3_VISIBLE)
& visible(R_36_3_VISIBLE)
& qual10(R_36_3_VISIBLE,R_36_6_AWAY)
& away(R_36_6_AWAY)
& qual11(R_36_6_AWAY,R_36_5_FAR)
& far(R_36_5_FAR)
& qual12(R_36_5_FAR,R_36_4_AS)
& as(R_36_5_FAR,R_36_9_SYSTEM)
& system(R_36_9_SYSTEM)
& gen(R_36_9_SYSTEM,R_36_8_OUR)
& a_thing(R_36_12_A_THING)
& attrib38(R_36_12_A_THING,R_36_13_TERRIBLE) ) ).
( (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))