41_a_paulfellows
they changed one important thing, the keyboard.
arc(r_0041_0002__changed, r_0041_0001__they, arg0).
arc(r_0041_0002__changed, r_0041_0003__one_r_0041_0005__thing, arg1).
arc(r_0041_0003__one_r_0041_0005__thing, r_0041_0004__important, attrib10).
arc(z_000_41_a_paulfellows_17, r_0041_0003__one_r_0041_0005__thing, arg0).
arc(z_000_41_a_paulfellows_17, r_0041_0007__the_r_0041_0008__keyboard, prd).
fof(formula,axiom,
? [R_41_2_CHANGED,R_41_1_THEY,Z_41_A_PAULFELLOWS_17,R_41_3_ONE_THING,R_41_4_IMPORTANT,R_41_7_THE_KEYBOARD] :
( they(R_41_1_THEY)
& important(R_41_4_IMPORTANT)
& the_keyboard(R_41_7_THE_KEYBOARD)
& changed(R_41_2_CHANGED,R_41_1_THEY,R_41_3_ONE_THING)
& one_thing(R_41_3_ONE_THING)
& attrib10(R_41_3_ONE_THING,R_41_4_IMPORTANT)
& z_41_a_paulfellows_17(Z_41_A_PAULFELLOWS_17,R_41_3_ONE_THING,R_41_7_THE_KEYBOARD) ) ).
( (IP-MAT (NP-SBJ (PRO they;{they}))
(VBD;__ changed;{change})
(NP-OB1 (NUM one;{one})
(ADJP (ADJ important;{important}))
(N thing;{thing})
(PUNC ,)
(IP-PPL (NP-PRD (D the;{the})
(N keyboard;{keyboard}))))
(PUNC .))
(ID 41_a_paulfellows))