Context                Previous, Next                Top


7_a_lob_j01
The cell.

%3 z_000_7_a_lob_j01_1 r_0007_0001__The_r_0007_0002__cell The cell z_000_7_a_lob_j01_1->r_0007_0001__The_r_0007_0002__cell [nim] 
arc(z_000_7_a_lob_j01_1, r_0007_0001__The_r_0007_0002__cell, nim2).


%3 z_000_7_a_lob_j01_1 r_0007_0001__The_r_0007_0002__cell The cell z_000_7_a_lob_j01_1->r_0007_0001__The_r_0007_0002__cell [nim] 
fof(formula,axiom,
    ? [Z_7_A_LOB_J01_1,R_7_1_THE_CELL] :
      ( the_cell(R_7_1_THE_CELL)
      & z_7_a_lob_j01_1(Z_7_A_LOB_J01_1)
      & nim2(Z_7_A_LOB_J01_1,R_7_1_THE_CELL) ) ).


n7_a_lob_j01 n7_a_lob_j01_4 The n7_a_lob_j01_6 cell n7_a_lob_j01_8 . n7_a_lob_j01_1 FRAG n7_a_lob_j01_2 NP n7_a_lob_j01_1->n7_a_lob_j01_2 n7_a_lob_j01_7 PUNC n7_a_lob_j01_1->n7_a_lob_j01_7 n7_a_lob_j01_3 D n7_a_lob_j01_2->n7_a_lob_j01_3 n7_a_lob_j01_5 N n7_a_lob_j01_2->n7_a_lob_j01_5 n7_a_lob_j01_3->n7_a_lob_j01_4 n7_a_lob_j01_5->n7_a_lob_j01_6 n7_a_lob_j01_7->n7_a_lob_j01_8 
( (FRAG (NP (D The;{the})
            (N cell;{cell}))
        (PUNC .))
  (ID 7_a_lob_j01))