31_a_fce_0102_2000_06
‘Exciting books always describe people in difficult situations.’
arc(r_0031_0003__books, r_0031_0002__Exciting, attrib5).
arc(r_0031_0005__describe, r_0031_0003__books, arg0).
arc(r_0031_0005__describe, r_0031_0004__always, nim10).
arc(r_0031_0005__describe, r_0031_0006__people, arg1).
arc(r_0031_0006__people, r_0031_0009__situations, r_0031_0007__in).
arc(r_0031_0009__situations, r_0031_0008__difficult, attrib22).
fof(formula,axiom,
? [R_31_5_DESCRIBE,R_31_3_BOOKS,R_31_2_EXCITING,R_31_6_PEOPLE,R_31_9_SITUATIONS,R_31_8_DIFFICULT,R_31_4_ALWAYS] :
( exciting(R_31_2_EXCITING)
& difficult(R_31_8_DIFFICULT)
& always(R_31_4_ALWAYS)
& describe(R_31_5_DESCRIBE,R_31_3_BOOKS,R_31_6_PEOPLE)
& books(R_31_3_BOOKS)
& attrib5(R_31_3_BOOKS,R_31_2_EXCITING)
& people(R_31_6_PEOPLE)
& in(R_31_6_PEOPLE,R_31_9_SITUATIONS)
& situations(R_31_9_SITUATIONS)
& attrib22(R_31_9_SITUATIONS,R_31_8_DIFFICULT)
& nim10(R_31_5_DESCRIBE,R_31_4_ALWAYS) ) ).
( (IP-MAT (PULQ <lquo>)
(NP-SBJ (ADJP (ADJ Exciting;{exciting}))
(NS books;{book}))
(ADVP-NIM (ADV always;{always}))
(VBP;_Tn_ describe;{describe})
(NP-OB1 (NS people;{people})
(PP (P-ROLE in;{in})
(NP (ADJP (ADJ difficult;{difficult}))
(NS situations;{situation}))))
(PUNC .)
(PURQ <rquo>))
(ID 31_a_fce_0102_2000_06))