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_35_9_SUGGESTION] :
( suggestion(R_35_9_SUGGESTION)
=> ? [R_35_6_THERE_WAS,R_35_2_THE_PLANT,R_35_4_COOLING,R_35_3_MASSIVE,R_35_12_HEAT,R_35_11_EXCESSIVE] :
( cooling(R_35_4_COOLING)
& massive(R_35_3_MASSIVE)
& excessive(R_35_11_EXCESSIVE)
& there_was(R_35_6_THERE_WAS,R_35_9_SUGGESTION)
& thanks_to_nim5(R_35_6_THERE_WAS,R_35_2_THE_PLANT)
& the_plant(R_35_2_THE_PLANT)
& attrib11(R_35_2_THE_PLANT,R_35_4_COOLING)
& attrib8(R_35_2_THE_PLANT,R_35_3_MASSIVE)
& of_clr28(R_35_6_THERE_WAS,R_35_12_HEAT)
& heat(R_35_12_HEAT)
& attrib29(R_35_12_HEAT,R_35_11_EXCESSIVE) ) ) ).
( (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))