Context                Previous, Next                Top


133_a_loosechange
Nothing.

n133_a_loosechange n133_a_loosechange__1_1_1_1 Nothing n133_a_loosechange__1_2_1 . n133_a_loosechange__1 FRAG n133_a_loosechange__1_1 NP n133_a_loosechange__1->n133_a_loosechange__1_1 n133_a_loosechange__1_2 PUNC n133_a_loosechange__1->n133_a_loosechange__1_2 n133_a_loosechange__1_1_1 Q;_nphd_ n133_a_loosechange__1_1->n133_a_loosechange__1_1_1 n133_a_loosechange__1_1_1->n133_a_loosechange__1_1_1_1 n133_a_loosechange__1_2->n133_a_loosechange__1_2_1 
( (FRAG (NP (Q;_nphd_ Nothing;{nothing}))
        (PUNC .))
  (ID 133_a_loosechange))


%3 z_0133_5006 z_0133_5005 z_0133_5006->z_0133_5005 r_0133_0001__Nothing__quant Nothing [quant] r_0133_0001__Nothing__quant->z_0133_5006 [scope] r_0133_0001__Nothing__quant->z_0133_5005 [restriction] 
arc(r_0133_0001__Nothing__quant,z_0133_5005,restriction).
arc(r_0133_0001__Nothing__quant,z_0133_5006,scope).
arc(z_0133_5006,z_0133_5005,z_0133_5002).


%3 r_0133_0001__Nothing__quant Nothing [quant] z_0133_5005 r_0133_0001__Nothing__quant->z_0133_5005 [restriction] z_0133_5006 r_0133_0001__Nothing__quant->z_0133_5006 [scope] z_0133_5006->z_0133_5005 
fof(formula,axiom,
    ! [Z_0133_5005] :
      ( z_0133_5005(Z_0133_5005)
     => ? [Z_0133_5006] :
          ( z_0133_5006(Z_0133_5006)
          & has_z_0133_5002(Z_0133_5006,Z_0133_5005) ) ) ).