( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Cn.t_ thought;{think})
                      (IP-INF-PRD (TO to;{to})
                                  (BE;_Ln_ be;{be})
                                  (NP-PRD (D the;{the})
                                          (IP-PPL (NP-LGS *)
                                                  (ADVP-NIM (ADVP (ADVS most;{most}))
                                                            (ADV well;{well}))
                                                  (VVN;_Tn_ known;{know}))
                                          (N story;{story})
                                          (PP (P-ROLE about;{about})
                                              (NP;{SESSHU} (NPR Sesshu;{Sesshu}))))))
          (PUNC .))
  (ID 33_a_kyoto_1;BDS_00001;33))

arc(r_0033_0002__is,r_0033_0003__thought,scope).
arc(r_0033_0003__thought,r_0033_0001__This,arg1).
arc(r_0033_0003__thought,r_0033_0005__be,prd).
arc(r_0033_0003__thought,z_0033_5011___star_,arg0).
arc(r_0033_0005__be,r_0033_0006__the_r_0033_0010__story,prd).
arc(r_0033_0005__be,z_0033_5004,arg0).
arc(r_0033_0006__the_r_0033_0010__story,r_0033_0012__Sesshu,r_0033_0011__about).
arc(r_0033_0008__well,r_0033_0007__most,qual).
arc(r_0033_0009__known,r_0033_0006__the_r_0033_0010__story,inv_arg1).
arc(r_0033_0009__known,r_0033_0008__well,nim).
arc(r_0033_0009__known,z_0033_5008___star_,arg0).

fof(formula,axiom,
    ? [R_0033_0001__THIS,R_0033_0012__SESSHU,R_0033_0007__MOST,R_0033_0008__WELL,Z_0033_5008___STAR_,R_0033_0009__KNOWN,R_0033_0006__THE_R_0033_0010__STORY,Z_0033_5004,R_0033_0005__BE,Z_0033_5011___STAR_,R_0033_0002__IS_R_0033_0003__THOUGHT] :
      ( r_0033_0001__This(R_0033_0001__THIS)
      & r_0033_0007__most(R_0033_0007__MOST)
      & r_0033_0012__Sesshu(R_0033_0012__SESSHU)
      & z_0033_5004(Z_0033_5004)
      & z_0033_5008___star_(Z_0033_5008___STAR_)
      & z_0033_5011___star_(Z_0033_5011___STAR_)
      & r_0033_0002__is_r_0033_0003__thought(R_0033_0002__IS_R_0033_0003__THOUGHT)
      & has_arg0(R_0033_0002__IS_R_0033_0003__THOUGHT,Z_0033_5011___STAR_)
      & has_prd(R_0033_0002__IS_R_0033_0003__THOUGHT,R_0033_0005__BE)
      & r_0033_0005__be(R_0033_0005__BE)
      & has_arg0(R_0033_0005__BE,Z_0033_5004)
      & has_prd(R_0033_0005__BE,R_0033_0006__THE_R_0033_0010__STORY)
      & r_0033_0006__the_r_0033_0010__story(R_0033_0006__THE_R_0033_0010__STORY)
      & has_inv_arg1(R_0033_0006__THE_R_0033_0010__STORY,R_0033_0009__KNOWN)
      & r_0033_0009__known(R_0033_0009__KNOWN)
      & has_arg0(R_0033_0009__KNOWN,Z_0033_5008___STAR_)
      & has_nim(R_0033_0009__KNOWN,R_0033_0008__WELL)
      & r_0033_0008__well(R_0033_0008__WELL)
      & has_qual(R_0033_0008__WELL,R_0033_0007__MOST)
      & has_r_0033_0011__about(R_0033_0006__THE_R_0033_0010__STORY,R_0033_0012__SESSHU)
      & has_arg1(R_0033_0002__IS_R_0033_0003__THOUGHT,R_0033_0001__THIS) ) ).