Context                Previous, Next                Top


47_a_lob_a01
A letter.

%3 z_000_47_a_lob_a01_1 r_0047_0001__A_r_0047_0002__letter A letter z_000_47_a_lob_a01_1->r_0047_0001__A_r_0047_0002__letter [nim] 
arc(z_000_47_a_lob_a01_1, r_0047_0001__A_r_0047_0002__letter, nim2).


%3 z_000_47_a_lob_a01_1 r_0047_0001__A_r_0047_0002__letter A letter z_000_47_a_lob_a01_1->r_0047_0001__A_r_0047_0002__letter [nim] 
fof(formula,axiom,
    ? [R_0047_0001__A_R_0047_0002__LETTER,Z_000_47_A_LOB_A01_1] :
      ( r_0047_0001__A_r_0047_0002__letter(R_0047_0001__A_R_0047_0002__LETTER)
      & z_000_47_a_lob_a01_1(Z_000_47_A_LOB_A01_1)
      & has_nim2(Z_000_47_A_LOB_A01_1,R_0047_0001__A_R_0047_0002__LETTER) ) ).


n47_a_lob_a01 n47_a_lob_a01__1_1_1_1 A n47_a_lob_a01__1_1_2_1 letter n47_a_lob_a01__1_2_1 . n47_a_lob_a01__1 FRAG n47_a_lob_a01__1_1 NP n47_a_lob_a01__1->n47_a_lob_a01__1_1 n47_a_lob_a01__1_2 PUNC n47_a_lob_a01__1->n47_a_lob_a01__1_2 n47_a_lob_a01__1_1_1 D n47_a_lob_a01__1_1->n47_a_lob_a01__1_1_1 n47_a_lob_a01__1_1_2 N n47_a_lob_a01__1_1->n47_a_lob_a01__1_1_2 n47_a_lob_a01__1_1_1->n47_a_lob_a01__1_1_1_1 n47_a_lob_a01__1_1_2->n47_a_lob_a01__1_1_2_1 n47_a_lob_a01__1_2->n47_a_lob_a01__1_2_1 
( (FRAG (NP (D A;{a})
            (N letter;{letter}))
        (PUNC .))
  (ID 47_a_lob_a01))