102_a_ted_talk_11
I mean, he was seven at some point.
arc(r_0102_0002__mean, r_0102_0001__I, arg0).
arc(r_0102_0002__mean, r_0102_0005__was, arg1).
arc(r_0102_0005__was, r_0102_0004__he, arg0).
arc(r_0102_0005__was, r_0102_0006__seven, prd).
arc(r_0102_0005__was, r_0102_0008__some_r_0102_0009__point, r_0102_0007__at_nim22).
fof(formula,axiom,
? [R_0102_0001__I,R_0102_0004__HE,R_0102_0006__SEVEN,R_0102_0008__SOME_R_0102_0009__POINT,R_0102_0005__WAS,R_0102_0002__MEAN] :
( r_0102_0001__I(R_0102_0001__I)
& r_0102_0004__he(R_0102_0004__HE)
& r_0102_0006__seven(R_0102_0006__SEVEN)
& r_0102_0008__some_r_0102_0009__point(R_0102_0008__SOME_R_0102_0009__POINT)
& r_0102_0002__mean(R_0102_0002__MEAN)
& has_arg1(R_0102_0002__MEAN,R_0102_0005__WAS)
& r_0102_0005__was(R_0102_0005__WAS)
& has_r_0102_0007__at_nim22(R_0102_0005__WAS,R_0102_0008__SOME_R_0102_0009__POINT)
& has_prd(R_0102_0005__WAS,R_0102_0006__SEVEN)
& has_arg0(R_0102_0005__WAS,R_0102_0004__HE)
& has_arg0(R_0102_0002__MEAN,R_0102_0001__I) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBP;_Tf_ mean;{mean})
(PUNC ,)
(CP-THT-OB1 (IP-SUB (NP-SBJ;{SHAKESPEARE} (PRO he;{he}))
(BED;_Ln_ was;{be})
(NP-PRD (NUM seven;{seven}))
(PP-NIM (P-ROLE at;{at})
(NP (D some;{some})
(N point;{point})))))
(PUNC .))
(ID 102_a_ted_talk_11))