Context                Previous, Next                Top


121_a_loosechange
‘Tonight?’

%3 z_000_121_a_loosechange_1 r_0121_0002__Tonight Tonight z_000_121_a_loosechange_1->r_0121_0002__Tonight [nim] 
arc(z_000_121_a_loosechange_1, r_0121_0002__Tonight, nim4).


%3 z_000_121_a_loosechange_1 r_0121_0002__Tonight Tonight z_000_121_a_loosechange_1->r_0121_0002__Tonight [nim] 
fof(formula,axiom,
    ? [Z_121_A_LOOSECHANGE_1,R_121_2_TONIGHT] :
      ( tonight(R_121_2_TONIGHT)
      & z_121_a_loosechange_1(Z_121_A_LOOSECHANGE_1)
      & nim4(Z_121_A_LOOSECHANGE_1,R_121_2_TONIGHT) ) ).


n121_a_loosechange n121_a_loosechange__1_1_1 <lquo> n121_a_loosechange__1_2_1_1 Tonight n121_a_loosechange__1_3_1 ? n121_a_loosechange__1_4_1 <rquo> n121_a_loosechange__1 FRAG n121_a_loosechange__1_1 PULQ n121_a_loosechange__1->n121_a_loosechange__1_1 n121_a_loosechange__1_2 ADVP-NIM n121_a_loosechange__1->n121_a_loosechange__1_2 n121_a_loosechange__1_3 PUNC n121_a_loosechange__1->n121_a_loosechange__1_3 n121_a_loosechange__1_4 PURQ n121_a_loosechange__1->n121_a_loosechange__1_4 n121_a_loosechange__1_1->n121_a_loosechange__1_1_1 n121_a_loosechange__1_2_1 ADV n121_a_loosechange__1_2->n121_a_loosechange__1_2_1 n121_a_loosechange__1_2_1->n121_a_loosechange__1_2_1_1 n121_a_loosechange__1_3->n121_a_loosechange__1_3_1 n121_a_loosechange__1_4->n121_a_loosechange__1_4_1 
( (FRAG (PULQ <lquo>)
        (ADVP-NIM (ADV Tonight;{tonight}))
        (PUNC ?)
        (PURQ <rquo>))
  (ID 121_a_loosechange))