TSPC 35_a_lob

35_a_lob_n01
Thanks to the massive cooling plant there was no suggestion of excessive heat.

( (IP-MAT (PP-NIM (P-ROLE Thanks_to;{thanks_to})
                  (NP (D the;{the})
                      (ADJP (ADJ massive;{massive}))
                      (ADJP (ADJ cooling;{cooling}))
                      (N plant;{plant})))
          (EX there;{there})
          (BED;_ex_Vpr_ was;{be})
          (NP-ESBJ (Q no;{no})
                   (N suggestion;{suggestion}))
          (PP-CLR (P-ROLE of;{of})
                  (NP (ADJP (ADJ excessive;{excessive}))
                      (N heat;{heat})))
          (PUNC .))
  (ID 35_a_lob_n01))

arc(r_0035_0002__the_r_0035_0005__plant,r_0035_0003__massive,attrib).
arc(r_0035_0002__the_r_0035_0005__plant,r_0035_0004__cooling,attrib).
arc(r_0035_0007__was_r_0035_0010__of,r_0035_0002__the_r_0035_0005__plant,r_0035_0001__Thanks_to__nim).
arc(r_0035_0007__was_r_0035_0010__of,r_0035_0009__suggestion,arg0).
arc(r_0035_0007__was_r_0035_0010__of,r_0035_0012__heat,arg1).
arc(r_0035_0008__no__quant,r_0035_0007__was_r_0035_0010__of,scope).
arc(r_0035_0008__no__quant,r_0035_0009__suggestion,restriction).
arc(r_0035_0012__heat,r_0035_0011__excessive,attrib).

fof(formula,axiom,
    ! [R_0035_0009__SUGGESTION] :
      ( r_0035_0009__suggestion(R_0035_0009__SUGGESTION)
     => ? [R_0035_0003__MASSIVE,R_0035_0004__COOLING,R_0035_0002__THE_R_0035_0005__PLANT,R_0035_0011__EXCESSIVE,R_0035_0012__HEAT,R_0035_0007__WAS_R_0035_0010__OF] :
          ( r_0035_0003__massive(R_0035_0003__MASSIVE)
          & r_0035_0004__cooling(R_0035_0004__COOLING)
          & r_0035_0011__excessive(R_0035_0011__EXCESSIVE)
          & r_0035_0007__was_r_0035_0010__of(R_0035_0007__WAS_R_0035_0010__OF)
          & has_arg1(R_0035_0007__WAS_R_0035_0010__OF,R_0035_0012__HEAT)
          & r_0035_0012__heat(R_0035_0012__HEAT)
          & has_attrib(R_0035_0012__HEAT,R_0035_0011__EXCESSIVE)
          & has_arg0(R_0035_0007__WAS_R_0035_0010__OF,R_0035_0009__SUGGESTION)
          & has_r_0035_0001__Thanks_to__nim(R_0035_0007__WAS_R_0035_0010__OF,R_0035_0002__THE_R_0035_0005__PLANT)
          & r_0035_0002__the_r_0035_0005__plant(R_0035_0002__THE_R_0035_0005__PLANT)
          & has_attrib(R_0035_0002__THE_R_0035_0005__PLANT,R_0035_0004__COOLING)
          & has_attrib(R_0035_0002__THE_R_0035_0005__PLANT,R_0035_0003__MASSIVE) ) ) ).