Context                Previous, Next                Top


14_a_lob_n01
Chapter ten.

%3 z_000_14_a_lob_n01_1 r_0014_0001__Chapter_r_0014_0002__ten Chapter ten z_000_14_a_lob_n01_1->r_0014_0001__Chapter_r_0014_0002__ten [arg0] 
arc(z_000_14_a_lob_n01_1, r_0014_0001__Chapter_r_0014_0002__ten, arg0).


%3 z_000_14_a_lob_n01_1 r_0014_0001__Chapter_r_0014_0002__ten Chapter ten z_000_14_a_lob_n01_1->r_0014_0001__Chapter_r_0014_0002__ten [arg0] 
fof(formula,axiom,
    ? [Z_14_A_LOB_N01_1,R_14_1_CHAPTER_TEN] :
      ( chapter_ten(R_14_1_CHAPTER_TEN)
      & z_14_a_lob_n01_1(Z_14_A_LOB_N01_1,R_14_1_CHAPTER_TEN) ) ).


n14_a_lob_n01 n14_a_lob_n01__1_1_1_1 Chapter n14_a_lob_n01__1_1_2_1 ten n14_a_lob_n01__1_2_1 . n14_a_lob_n01__1 FRAG n14_a_lob_n01__1_1 NP-SBJ n14_a_lob_n01__1->n14_a_lob_n01__1_1 n14_a_lob_n01__1_2 PUNC n14_a_lob_n01__1->n14_a_lob_n01__1_2 n14_a_lob_n01__1_1_1 N n14_a_lob_n01__1_1->n14_a_lob_n01__1_1_1 n14_a_lob_n01__1_1_2 NUM n14_a_lob_n01__1_1->n14_a_lob_n01__1_1_2 n14_a_lob_n01__1_1_1->n14_a_lob_n01__1_1_1_1 n14_a_lob_n01__1_1_2->n14_a_lob_n01__1_1_2_1 n14_a_lob_n01__1_2->n14_a_lob_n01__1_2_1 
( (FRAG (NP-SBJ (N Chapter;{chapter})
                (NUM ten;{ten}))
        (PUNC .))
  (ID 14_a_lob_n01))