( (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))

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__nim).

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__nim(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) ) ).