27_a_ks4_english
This involves consolidation, practice and discussion of 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))
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_0027_0001__THIS,R_0027_0003__CONSOLIDATION,R_0027_0005__PRACTICE,R_0027_0007__DISCUSSION,R_0027_0009__LANGUAGE,R_0027_0006__AND,R_0027_0002__INVOLVES] :
( r_0027_0001__This(R_0027_0001__THIS)
& r_0027_0003__consolidation(R_0027_0003__CONSOLIDATION)
& r_0027_0005__practice(R_0027_0005__PRACTICE)
& r_0027_0007__discussion(R_0027_0007__DISCUSSION)
& r_0027_0009__language(R_0027_0009__LANGUAGE)
& r_0027_0002__involves(R_0027_0002__INVOLVES)
& has_arg1(R_0027_0002__INVOLVES,R_0027_0006__AND)
& r_0027_0006__and(R_0027_0006__AND)
& has_r_0027_0008__of(R_0027_0006__AND,R_0027_0009__LANGUAGE)
& has_conj3(R_0027_0006__AND,R_0027_0007__DISCUSSION)
& has_conj2(R_0027_0006__AND,R_0027_0005__PRACTICE)
& has_conj1(R_0027_0006__AND,R_0027_0003__CONSOLIDATION)
& has_arg0(R_0027_0002__INVOLVES,R_0027_0001__THIS) ) ).