Context                Previous, Next                Top


28_a_seiko_9r65
That is explained on the next page.

%3 r_0028_0002__is is r_0028_0003__explained explained r_0028_0002__is->r_0028_0003__explained [scope] r_0028_0001__That That r_0028_0003__explained->r_0028_0001__That [arg1] r_0028_0005__the_r_0028_0007__page the page r_0028_0003__explained->r_0028_0005__the_r_0028_0007__page on [nim] z_000_28_a_seiko_9r65_8 r_0028_0003__explained->z_000_28_a_seiko_9r65_8 [arg0] r_0028_0006__next next r_0028_0005__the_r_0028_0007__page->r_0028_0006__next [attrib] 
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_nim15).
arc(r_0028_0003__explained, z_000_28_a_seiko_9r65_8, arg0).
arc(r_0028_0005__the_r_0028_0007__page, r_0028_0006__next, attrib18).


%3 r_0028_0005__the_r_0028_0007__page the page r_0028_0006__next next r_0028_0005__the_r_0028_0007__page->r_0028_0006__next [attrib] r_0028_0002__is_r_0028_0003__explained is explained r_0028_0002__is_r_0028_0003__explained->r_0028_0005__the_r_0028_0007__page on [nim] z_000_28_a_seiko_9r65_8 r_0028_0002__is_r_0028_0003__explained->z_000_28_a_seiko_9r65_8 [arg0] r_0028_0001__That That r_0028_0002__is_r_0028_0003__explained->r_0028_0001__That [arg1] 
fof(formula,axiom,
    ? [R_0028_0001__THAT,R_0028_0006__NEXT,R_0028_0005__THE_R_0028_0007__PAGE,Z_000_28_A_SEIKO_9R65_8,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_000_28_a_seiko_9r65_8(Z_000_28_A_SEIKO_9R65_8)
      & 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_000_28_A_SEIKO_9R65_8)
      & has_r_0028_0004__on_nim15(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_attrib18(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) ) ).


n28_a_seiko_9r65 n28_a_seiko_9r65__1_1_1_1 That n28_a_seiko_9r65__1_2_1 is n28_a_seiko_9r65__1_3_1_1 * n28_a_seiko_9r65__1_3_2_1 explained n28_a_seiko_9r65__1_3_3_1_1 on n28_a_seiko_9r65__1_3_3_2_1_1 the n28_a_seiko_9r65__1_3_3_2_2_1_1 next n28_a_seiko_9r65__1_3_3_2_3_1 page n28_a_seiko_9r65__1_4_1 . n28_a_seiko_9r65__1 IP-MAT n28_a_seiko_9r65__1_1 NP-SBJ n28_a_seiko_9r65__1->n28_a_seiko_9r65__1_1 n28_a_seiko_9r65__1_2 BEP;_cat_VePASS_ n28_a_seiko_9r65__1->n28_a_seiko_9r65__1_2 n28_a_seiko_9r65__1_3 IP-PPL-CAT n28_a_seiko_9r65__1->n28_a_seiko_9r65__1_3 n28_a_seiko_9r65__1_4 PUNC n28_a_seiko_9r65__1->n28_a_seiko_9r65__1_4 n28_a_seiko_9r65__1_1_1 D;_nphd_ n28_a_seiko_9r65__1_1->n28_a_seiko_9r65__1_1_1 n28_a_seiko_9r65__1_1_1->n28_a_seiko_9r65__1_1_1_1 n28_a_seiko_9r65__1_2->n28_a_seiko_9r65__1_2_1 n28_a_seiko_9r65__1_3_1 NP-LGS n28_a_seiko_9r65__1_3->n28_a_seiko_9r65__1_3_1 n28_a_seiko_9r65__1_3_2 VVN;_Tn_ n28_a_seiko_9r65__1_3->n28_a_seiko_9r65__1_3_2 n28_a_seiko_9r65__1_3_3 PP-NIM n28_a_seiko_9r65__1_3->n28_a_seiko_9r65__1_3_3 n28_a_seiko_9r65__1_3_1->n28_a_seiko_9r65__1_3_1_1 n28_a_seiko_9r65__1_3_2->n28_a_seiko_9r65__1_3_2_1 n28_a_seiko_9r65__1_3_3_1 P-ROLE n28_a_seiko_9r65__1_3_3->n28_a_seiko_9r65__1_3_3_1 n28_a_seiko_9r65__1_3_3_2 NP n28_a_seiko_9r65__1_3_3->n28_a_seiko_9r65__1_3_3_2 n28_a_seiko_9r65__1_3_3_1->n28_a_seiko_9r65__1_3_3_1_1 n28_a_seiko_9r65__1_3_3_2_1 D n28_a_seiko_9r65__1_3_3_2->n28_a_seiko_9r65__1_3_3_2_1 n28_a_seiko_9r65__1_3_3_2_2 ADJP n28_a_seiko_9r65__1_3_3_2->n28_a_seiko_9r65__1_3_3_2_2 n28_a_seiko_9r65__1_3_3_2_3 N n28_a_seiko_9r65__1_3_3_2->n28_a_seiko_9r65__1_3_3_2_3 n28_a_seiko_9r65__1_3_3_2_1->n28_a_seiko_9r65__1_3_3_2_1_1 n28_a_seiko_9r65__1_3_3_2_2_1 ADJ n28_a_seiko_9r65__1_3_3_2_2->n28_a_seiko_9r65__1_3_3_2_2_1 n28_a_seiko_9r65__1_3_3_2_2_1->n28_a_seiko_9r65__1_3_3_2_2_1_1 n28_a_seiko_9r65__1_3_3_2_3->n28_a_seiko_9r65__1_3_3_2_3_1 n28_a_seiko_9r65__1_4->n28_a_seiko_9r65__1_4_1 
( (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))