27_a_fce_0102_2000_12
In our class, we've been talking about rules, both at home and at school.
( (IP-MAT (PP-NIM (P-ROLE In;{in})
(NP (NP-GEN (PRO;_genm_ our;{our}))
(N class;{class})))
(PUNC ,)
(NP-SBJ (PRO we;{we}))
(HVP;_cat_Ve_ <apos>ve;{have})
(IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
(IP-PPL-CAT (VAG;_Ipr_ talking;{talk[about]})
(PP-CLR (P-ROLE about;{about})
(NP (NS rules;{rule})
(PUNC ,)
(PP (CONJ both;{both})
(PP (P-ROLE at;{at})
(NP (N home;{home})))
(CONJP (CONJ and;{and})
(PP (P-ROLE at;{at})
(NP (N school;{school})))))))))
(PUNC .))
(ID 27_a_fce_0102_2000_12))
arc(r_0027_0003__class,r_0027_0002__our,gen).
arc(r_0027_0006___apos_ve,r_0027_0003__class,r_0027_0001__In__nim).
arc(r_0027_0006___apos_ve,r_0027_0007__been,scope).
arc(r_0027_0007__been,r_0027_0008__talking_r_0027_0009__about,scope).
arc(r_0027_0008__talking_r_0027_0009__about,r_0027_0002__our,arg0).
arc(r_0027_0008__talking_r_0027_0009__about,r_0027_0010__rules,arg1).
arc(r_0027_0010__rules,r_0027_0012__both_r_0027_0015__and,z_0027_5007).
arc(r_0027_0012__both_r_0027_0015__and,r_0027_0014__home,r_0027_0013__at).
arc(r_0027_0012__both_r_0027_0015__and,r_0027_0017__school,r_0027_0016__at).
fof(formula,axiom,
? [R_0027_0002__OUR,R_0027_0003__CLASS,R_0027_0014__HOME,R_0027_0017__SCHOOL,R_0027_0012__BOTH_R_0027_0015__AND,R_0027_0010__RULES,R_0027_0006___APOS_VE_R_0027_0007__BEEN_R_0027_0008__TALKING_R_0027_0009__ABOUT] :
( r_0027_0002__our(R_0027_0002__OUR)
& r_0027_0014__home(R_0027_0014__HOME)
& r_0027_0017__school(R_0027_0017__SCHOOL)
& r_0027_0006___apos_ve_r_0027_0007__been_r_0027_0008__talking_r_0027_0009__about(R_0027_0006___APOS_VE_R_0027_0007__BEEN_R_0027_0008__TALKING_R_0027_0009__ABOUT)
& has_arg1(R_0027_0006___APOS_VE_R_0027_0007__BEEN_R_0027_0008__TALKING_R_0027_0009__ABOUT,R_0027_0010__RULES)
& r_0027_0010__rules(R_0027_0010__RULES)
& has_z_0027_5007(R_0027_0010__RULES,R_0027_0012__BOTH_R_0027_0015__AND)
& r_0027_0012__both_r_0027_0015__and(R_0027_0012__BOTH_R_0027_0015__AND)
& has_r_0027_0016__at(R_0027_0012__BOTH_R_0027_0015__AND,R_0027_0017__SCHOOL)
& has_r_0027_0013__at(R_0027_0012__BOTH_R_0027_0015__AND,R_0027_0014__HOME)
& has_arg0(R_0027_0006___APOS_VE_R_0027_0007__BEEN_R_0027_0008__TALKING_R_0027_0009__ABOUT,R_0027_0002__OUR)
& has_r_0027_0001__In__nim(R_0027_0006___APOS_VE_R_0027_0007__BEEN_R_0027_0008__TALKING_R_0027_0009__ABOUT,R_0027_0003__CLASS)
& r_0027_0003__class(R_0027_0003__CLASS)
& has_gen(R_0027_0003__CLASS,R_0027_0002__OUR) ) ).