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_0002__is_r_0028_0003__explained is explained r_0028_0001__That That r_0028_0002__is_r_0028_0003__explained->r_0028_0001__That [arg1] r_0028_0005__the_r_0028_0007__page the page 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_0006__next next r_0028_0005__the_r_0028_0007__page->r_0028_0006__next [attrib] 
fof(formula,axiom,
    ? [R_28_2_IS_EXPLAINED,Z_28_A_SEIKO_9R65_8,R_28_1_THAT,R_28_5_THE_PAGE,R_28_6_NEXT] :
      ( that(R_28_1_THAT)
      & next(R_28_6_NEXT)
      & is_explained(R_28_2_IS_EXPLAINED,Z_28_A_SEIKO_9R65_8,R_28_1_THAT)
      & on_nim15(R_28_2_IS_EXPLAINED,R_28_5_THE_PAGE)
      & the_page(R_28_5_THE_PAGE)
      & attrib18(R_28_5_THE_PAGE,R_28_6_NEXT) ) ).


n28_a_seiko_9r65 n28_a_seiko_9r65_4 That n28_a_seiko_9r65_6 is n28_a_seiko_9r65_9 * n28_a_seiko_9r65_11 explained n28_a_seiko_9r65_14 on n28_a_seiko_9r65_17 the n28_a_seiko_9r65_20 next n28_a_seiko_9r65_22 page n28_a_seiko_9r65_24 . n28_a_seiko_9r65_1 IP-MAT n28_a_seiko_9r65_2 NP-SBJ n28_a_seiko_9r65_1->n28_a_seiko_9r65_2 n28_a_seiko_9r65_5 BEP;_cat_VePASS_ n28_a_seiko_9r65_1->n28_a_seiko_9r65_5 n28_a_seiko_9r65_7 IP-PPL-CAT n28_a_seiko_9r65_1->n28_a_seiko_9r65_7 n28_a_seiko_9r65_23 PUNC n28_a_seiko_9r65_1->n28_a_seiko_9r65_23 n28_a_seiko_9r65_3 D;_nphd_ n28_a_seiko_9r65_2->n28_a_seiko_9r65_3 n28_a_seiko_9r65_3->n28_a_seiko_9r65_4 n28_a_seiko_9r65_5->n28_a_seiko_9r65_6 n28_a_seiko_9r65_8 NP-LGS n28_a_seiko_9r65_7->n28_a_seiko_9r65_8 n28_a_seiko_9r65_10 VVN;_Tn_ n28_a_seiko_9r65_7->n28_a_seiko_9r65_10 n28_a_seiko_9r65_12 PP-NIM n28_a_seiko_9r65_7->n28_a_seiko_9r65_12 n28_a_seiko_9r65_8->n28_a_seiko_9r65_9 n28_a_seiko_9r65_10->n28_a_seiko_9r65_11 n28_a_seiko_9r65_13 P-ROLE n28_a_seiko_9r65_12->n28_a_seiko_9r65_13 n28_a_seiko_9r65_15 NP n28_a_seiko_9r65_12->n28_a_seiko_9r65_15 n28_a_seiko_9r65_13->n28_a_seiko_9r65_14 n28_a_seiko_9r65_16 D n28_a_seiko_9r65_15->n28_a_seiko_9r65_16 n28_a_seiko_9r65_18 ADJP n28_a_seiko_9r65_15->n28_a_seiko_9r65_18 n28_a_seiko_9r65_21 N n28_a_seiko_9r65_15->n28_a_seiko_9r65_21 n28_a_seiko_9r65_16->n28_a_seiko_9r65_17 n28_a_seiko_9r65_19 ADJ n28_a_seiko_9r65_18->n28_a_seiko_9r65_19 n28_a_seiko_9r65_19->n28_a_seiko_9r65_20 n28_a_seiko_9r65_21->n28_a_seiko_9r65_22 n28_a_seiko_9r65_23->n28_a_seiko_9r65_24 
( (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))