35_a_lob_n01
Thanks to the massive cooling plant there was no suggestion of excessive heat.
arc(r_0035_0002__the_r_0035_0005__plant, r_0035_0003__massive, attrib8).
arc(r_0035_0002__the_r_0035_0005__plant, r_0035_0004__cooling, attrib11).
arc(r_0035_0006__there_r_0035_0007__was, r_0035_0002__the_r_0035_0005__plant, r_0035_0001__Thanks_to_nim5).
arc(r_0035_0006__there_r_0035_0007__was, r_0035_0009__suggestion, arg0).
arc(r_0035_0006__there_r_0035_0007__was, r_0035_0012__heat, r_0035_0010__of_clr28).
arc(r_0035_0008__no_quant, r_0035_0006__there_r_0035_0007__was, scope).
arc(r_0035_0008__no_quant, r_0035_0009__suggestion, restriction).
arc(r_0035_0012__heat, r_0035_0011__excessive, attrib29).
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_0006__THERE_R_0035_0007__WAS] :
( 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_0006__there_r_0035_0007__was(R_0035_0006__THERE_R_0035_0007__WAS)
& has_r_0035_0010__of_clr28(R_0035_0006__THERE_R_0035_0007__WAS,R_0035_0012__HEAT)
& r_0035_0012__heat(R_0035_0012__HEAT)
& has_attrib29(R_0035_0012__HEAT,R_0035_0011__EXCESSIVE)
& has_arg0(R_0035_0006__THERE_R_0035_0007__WAS,R_0035_0009__SUGGESTION)
& has_r_0035_0001__Thanks_to_nim5(R_0035_0006__THERE_R_0035_0007__WAS,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_attrib11(R_0035_0002__THE_R_0035_0005__PLANT,R_0035_0004__COOLING)
& has_attrib8(R_0035_0002__THE_R_0035_0005__PLANT,R_0035_0003__MASSIVE) ) ) ).
( (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))