2_a_ks4_english
Purpose of study
arc(r_0002_0001__Purpose, r_0002_0003__study, r_0002_0002__of).
arc(z_000_2_a_ks4_english_1, r_0002_0001__Purpose, nim2).
fof(formula,axiom,
? [Z_2_A_KS4_ENGLISH_1,R_2_1_PURPOSE,R_2_3_STUDY] :
( study(R_2_3_STUDY)
& z_2_a_ks4_english_1(Z_2_A_KS4_ENGLISH_1)
& nim2(Z_2_A_KS4_ENGLISH_1,R_2_1_PURPOSE)
& purpose(R_2_1_PURPOSE)
& of(R_2_1_PURPOSE,R_2_3_STUDY) ) ).
( (FRAG (NP (N Purpose;{purpose})
(PP (P-ROLE of;{of})
(NP (N study;{study})))))
(ID 2_a_ks4_english))