27_a_ks4_english
This involves consolidation, practice and discussion of language.
arc(r_0027_0002__involves, r_0027_0001__This, arg0).
arc(r_0027_0002__involves, r_0027_0006__and, arg1).
arc(r_0027_0006__and, r_0027_0003__consolidation, conj1).
arc(r_0027_0006__and, r_0027_0005__practice, conj2).
arc(r_0027_0006__and, r_0027_0007__discussion, conj3).
arc(r_0027_0006__and, r_0027_0009__language, r_0027_0008__of).
fof(formula,axiom,
? [R_27_2_INVOLVES,R_27_1_THIS,R_27_6_AND,R_27_3_CONSOLIDATION,R_27_5_PRACTICE,R_27_7_DISCUSSION,R_27_9_LANGUAGE] :
( this(R_27_1_THIS)
& consolidation(R_27_3_CONSOLIDATION)
& practice(R_27_5_PRACTICE)
& discussion(R_27_7_DISCUSSION)
& language(R_27_9_LANGUAGE)
& involves(R_27_2_INVOLVES,R_27_1_THIS,R_27_6_AND)
& and(R_27_6_AND)
& conj1(R_27_6_AND,R_27_3_CONSOLIDATION)
& conj2(R_27_6_AND,R_27_5_PRACTICE)
& conj3(R_27_6_AND,R_27_7_DISCUSSION)
& of(R_27_6_AND,R_27_9_LANGUAGE) ) ).
( (IP-MAT (NP-SBJ;{UNDERSTAND_USE} (D;_nphd_ This;{this}))
(VBP;_Tn_ involves;{involve})
(NP-OB1 (NLYR (NLYR (N consolidation;{consolidation}))
(PUNC ,)
(CONJP (NLYR (N practice;{practice})))
(CONJP (CONJ and;{and})
(NLYR (N discussion;{discussion}))))
(PP (P-ROLE of;{of})
(NP (N language;{language}))))
(PUNC .))
(ID 27_a_ks4_english))