TSPC 112_a_dick

112_a_dick_1952
Anything that would adapt to this environment would be toxic, lethal.”

( (IP-MAT (NP-SBJ (D;_nphd_ Anything;{anything})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (MD;_cat_Vi_ would;{will})
                          (IP-INF-CAT (VB;_Ipr_ adapt;{adapt[to]})
                                      (PP-CLR (P-ROLE to;{to})
                                              (NP (D this;{this})
                                                  (N environment;{environment}))))))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ toxic;{toxic})
                                (PUNC ,)
                                (PRN (ADJP (ADJ lethal;{lethal})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 112_a_dick_1952))

arc(r_0112_0003__would,r_0112_0004__adapt_r_0112_0005__to,scope).
arc(r_0112_0004__adapt_r_0112_0005__to,r_0112_0001__Anything,arg0).
arc(r_0112_0004__adapt_r_0112_0005__to,r_0112_0006__this_r_0112_0007__environment,arg1).
arc(r_0112_0008__would,r_0112_0009__be,scope).
arc(r_0112_0009__be,r_0112_0001__Anything,arg0).
arc(r_0112_0009__be,r_0112_0010__toxic,prd).
arc(r_0112_0010__toxic,r_0112_0012__lethal,prn).

fof(formula,axiom,
    ? [R_0112_0001__ANYTHING,R_0112_0006__THIS_R_0112_0007__ENVIRONMENT,R_0112_0003__WOULD_R_0112_0004__ADAPT_R_0112_0005__TO,R_0112_0012__LETHAL,R_0112_0010__TOXIC,R_0112_0008__WOULD_R_0112_0009__BE] :
      ( r_0112_0001__Anything(R_0112_0001__ANYTHING)
      & r_0112_0006__this_r_0112_0007__environment(R_0112_0006__THIS_R_0112_0007__ENVIRONMENT)
      & r_0112_0012__lethal(R_0112_0012__LETHAL)
      & r_0112_0008__would_r_0112_0009__be(R_0112_0008__WOULD_R_0112_0009__BE)
      & has_prd(R_0112_0008__WOULD_R_0112_0009__BE,R_0112_0010__TOXIC)
      & r_0112_0010__toxic(R_0112_0010__TOXIC)
      & has_prn(R_0112_0010__TOXIC,R_0112_0012__LETHAL)
      & has_arg0(R_0112_0008__WOULD_R_0112_0009__BE,R_0112_0001__ANYTHING)
      & r_0112_0003__would_r_0112_0004__adapt_r_0112_0005__to(R_0112_0003__WOULD_R_0112_0004__ADAPT_R_0112_0005__TO)
      & has_arg1(R_0112_0003__WOULD_R_0112_0004__ADAPT_R_0112_0005__TO,R_0112_0006__THIS_R_0112_0007__ENVIRONMENT)
      & has_arg0(R_0112_0003__WOULD_R_0112_0004__ADAPT_R_0112_0005__TO,R_0112_0001__ANYTHING) ) ).