Context                Previous, Next                Top


110_a_lob_a02
Measures.

%3 z_000_110_a_lob_a02_1 r_0110_0001__Measures Measures z_000_110_a_lob_a02_1->r_0110_0001__Measures [nim] 
arc(z_000_110_a_lob_a02_1, r_0110_0001__Measures, nim2).


%3 z_000_110_a_lob_a02_1 r_0110_0001__Measures Measures z_000_110_a_lob_a02_1->r_0110_0001__Measures [nim] 
fof(formula,axiom,
    ? [Z_110_A_LOB_A02_1,R_110_1_MEASURES] :
      ( measures(R_110_1_MEASURES)
      & z_110_a_lob_a02_1(Z_110_A_LOB_A02_1)
      & nim2(Z_110_A_LOB_A02_1,R_110_1_MEASURES) ) ).


n110_a_lob_a02 n110_a_lob_a02__1_1_1_1 Measures n110_a_lob_a02__1_2_1 . n110_a_lob_a02__1 FRAG n110_a_lob_a02__1_1 NP n110_a_lob_a02__1->n110_a_lob_a02__1_1 n110_a_lob_a02__1_2 PUNC n110_a_lob_a02__1->n110_a_lob_a02__1_2 n110_a_lob_a02__1_1_1 NS n110_a_lob_a02__1_1->n110_a_lob_a02__1_1_1 n110_a_lob_a02__1_1_1->n110_a_lob_a02__1_1_1_1 n110_a_lob_a02__1_2->n110_a_lob_a02__1_2_1 
( (FRAG (NP (NS Measures;{measure}))
        (PUNC .))
  (ID 110_a_lob_a02))