( (IP-MAT (NP-SBJ;{ACCURACY} (D;_nphd_ That;{that}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ explained;{explain})
                      (PP-NIM (P-ROLE on;{on})
                              (NP (D the;{the})
                                  (ADJP (ADJ next;{next}))
                                  (N page;{page}))))
          (PUNC .))
  (ID 28_a_seiko_9r65))

arc(r_0028_0002__is,r_0028_0003__explained,scope).
arc(r_0028_0003__explained,r_0028_0001__That,arg1).
arc(r_0028_0003__explained,r_0028_0005__the_r_0028_0007__page,r_0028_0004__on__nim).
arc(r_0028_0003__explained,z_0028_5004___star_,arg0).
arc(r_0028_0005__the_r_0028_0007__page,r_0028_0006__next,attrib).

fof(formula,axiom,
    ? [R_0028_0001__THAT,R_0028_0006__NEXT,R_0028_0005__THE_R_0028_0007__PAGE,Z_0028_5004___STAR_,R_0028_0002__IS_R_0028_0003__EXPLAINED] :
      ( r_0028_0001__That(R_0028_0001__THAT)
      & r_0028_0006__next(R_0028_0006__NEXT)
      & z_0028_5004___star_(Z_0028_5004___STAR_)
      & r_0028_0002__is_r_0028_0003__explained(R_0028_0002__IS_R_0028_0003__EXPLAINED)
      & has_arg0(R_0028_0002__IS_R_0028_0003__EXPLAINED,Z_0028_5004___STAR_)
      & has_r_0028_0004__on__nim(R_0028_0002__IS_R_0028_0003__EXPLAINED,R_0028_0005__THE_R_0028_0007__PAGE)
      & r_0028_0005__the_r_0028_0007__page(R_0028_0005__THE_R_0028_0007__PAGE)
      & has_attrib(R_0028_0005__THE_R_0028_0007__PAGE,R_0028_0006__NEXT)
      & has_arg1(R_0028_0002__IS_R_0028_0003__EXPLAINED,R_0028_0001__THAT) ) ).