Context                Previous, Next                Top


5_a_lob_j01
Theoretical.

%3 z_000_5_a_lob_j01_1 r_0005_0001__Theoretical Theoretical z_000_5_a_lob_j01_1->r_0005_0001__Theoretical [attrib] 
arc(z_000_5_a_lob_j01_1, r_0005_0001__Theoretical, attrib2).


%3 z_000_5_a_lob_j01_1 r_0005_0001__Theoretical Theoretical z_000_5_a_lob_j01_1->r_0005_0001__Theoretical [attrib] 
fof(formula,axiom,
    ? [Z_5_A_LOB_J01_1,R_5_1_THEORETICAL] :
      ( theoretical(R_5_1_THEORETICAL)
      & z_5_a_lob_j01_1(Z_5_A_LOB_J01_1)
      & attrib2(Z_5_A_LOB_J01_1,R_5_1_THEORETICAL) ) ).


n5_a_lob_j01 n5_a_lob_j01__1_1_1_1 Theoretical n5_a_lob_j01__1_2_1 . n5_a_lob_j01__1 FRAG n5_a_lob_j01__1_1 ADJP n5_a_lob_j01__1->n5_a_lob_j01__1_1 n5_a_lob_j01__1_2 PUNC n5_a_lob_j01__1->n5_a_lob_j01__1_2 n5_a_lob_j01__1_1_1 ADJ n5_a_lob_j01__1_1->n5_a_lob_j01__1_1_1 n5_a_lob_j01__1_1_1->n5_a_lob_j01__1_1_1_1 n5_a_lob_j01__1_2->n5_a_lob_j01__1_2_1 
( (FRAG (ADJP (ADJ Theoretical;{theoretical}))
        (PUNC .))
  (ID 5_a_lob_j01))