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,
    ? [R_0110_0001__MEASURES,Z_000_110_A_LOB_A02_1] :
      ( r_0110_0001__Measures(R_0110_0001__MEASURES)
      & z_000_110_a_lob_a02_1(Z_000_110_A_LOB_A02_1)
      & has_nim2(Z_000_110_A_LOB_A02_1,R_0110_0001__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))