Context                Previous, Next                Top


95_a_lob_a02
The question:

%3 z_000_95_a_lob_a02_1 r_0095_0001__The_r_0095_0002__question The question z_000_95_a_lob_a02_1->r_0095_0001__The_r_0095_0002__question [nim] 
arc(z_000_95_a_lob_a02_1, r_0095_0001__The_r_0095_0002__question, nim2).


%3 z_000_95_a_lob_a02_1 r_0095_0001__The_r_0095_0002__question The question z_000_95_a_lob_a02_1->r_0095_0001__The_r_0095_0002__question [nim] 
fof(formula,axiom,
    ? [R_0095_0001__THE_R_0095_0002__QUESTION,Z_000_95_A_LOB_A02_1] :
      ( r_0095_0001__The_r_0095_0002__question(R_0095_0001__THE_R_0095_0002__QUESTION)
      & z_000_95_a_lob_a02_1(Z_000_95_A_LOB_A02_1)
      & has_nim2(Z_000_95_A_LOB_A02_1,R_0095_0001__THE_R_0095_0002__QUESTION) ) ).


n95_a_lob_a02 n95_a_lob_a02__1_1_1_1 The n95_a_lob_a02__1_1_2_1 question n95_a_lob_a02__1_2_1 : n95_a_lob_a02__1 FRAG n95_a_lob_a02__1_1 NP n95_a_lob_a02__1->n95_a_lob_a02__1_1 n95_a_lob_a02__1_2 PUNC n95_a_lob_a02__1->n95_a_lob_a02__1_2 n95_a_lob_a02__1_1_1 D n95_a_lob_a02__1_1->n95_a_lob_a02__1_1_1 n95_a_lob_a02__1_1_2 N n95_a_lob_a02__1_1->n95_a_lob_a02__1_1_2 n95_a_lob_a02__1_1_1->n95_a_lob_a02__1_1_1_1 n95_a_lob_a02__1_1_2->n95_a_lob_a02__1_1_2_1 n95_a_lob_a02__1_2->n95_a_lob_a02__1_2_1 
( (FRAG (NP (D The;{the})
            (N question;{question}))
        (PUNC :))
  (ID 95_a_lob_a02))