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,
    ? [Z_47_A_LOB_A01_1,R_47_1_A_LETTER] :
      ( a_letter(R_47_1_A_LETTER)
      & z_47_a_lob_a01_1(Z_47_A_LOB_A01_1)
      & nim2(Z_47_A_LOB_A01_1,R_47_1_A_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))