103_a_ted_talk_11
He was in somebody's English class, wasn't he?
arc(r_0103_0002__was, r_0103_0001__He, arg0).
arc(r_0103_0002__was, r_0103_0007__class, r_0103_0003__in_clr10).
arc(r_0103_0007__class, r_0103_0004__somebody_r_0103_0005___apos_s, gen).
arc(r_0103_0007__class, r_0103_0006__English, attrib16).
fof(formula,axiom,
? [R_0103_0001__HE,R_0103_0004__SOMEBODY_R_0103_0005___APOS_S,R_0103_0006__ENGLISH,R_0103_0007__CLASS,R_0103_0002__WAS] :
( r_0103_0001__He(R_0103_0001__HE)
& r_0103_0004__somebody_r_0103_0005___apos_s(R_0103_0004__SOMEBODY_R_0103_0005___APOS_S)
& r_0103_0006__English(R_0103_0006__ENGLISH)
& r_0103_0002__was(R_0103_0002__WAS)
& has_r_0103_0003__in_clr10(R_0103_0002__WAS,R_0103_0007__CLASS)
& r_0103_0007__class(R_0103_0007__CLASS)
& has_attrib16(R_0103_0007__CLASS,R_0103_0006__ENGLISH)
& has_gen(R_0103_0007__CLASS,R_0103_0004__SOMEBODY_R_0103_0005___APOS_S)
& has_arg0(R_0103_0002__WAS,R_0103_0001__HE) ) ).
( (IP-MAT (NP-SBJ;{SHAKESPEARE} (PRO He;{he}))
(BED;_Ipr_ was;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (NP-GEN (D;_nphd_ somebody;{somebody})
(GENM <apos>s))
(ADJP (ADJ English;{english}))
(N class;{class})))
(PUNC ,)
(CP-QUE-TAG (IP-SUB (BED;_La_ was;{be})
(NEG;_clitic_ n<apos>t;{not})
(NP-SBJ;{SHAKESPEARE} (PRO he;{he}))))
(PUNC ?))
(ID 103_a_ted_talk_11))