Context                Previous, Next                Top


133_a_loosechange
Nothing.

%3 r_0133_0001__Nothing_quant Nothing [quant] z_000_133_a_loosechange_1 r_0133_0001__Nothing_quant->z_000_133_a_loosechange_1 [scope] z_000_133_a_loosechange_2 r_0133_0001__Nothing_quant->z_000_133_a_loosechange_2 [restriction] z_000_133_a_loosechange_1->z_000_133_a_loosechange_2 [nim] 
arc(r_0133_0001__Nothing_quant, z_000_133_a_loosechange_1, scope).
arc(r_0133_0001__Nothing_quant, z_000_133_a_loosechange_2, restriction).
arc(z_000_133_a_loosechange_1, z_000_133_a_loosechange_2, nim2).


%3 z_000_133_a_loosechange_1 z_000_133_a_loosechange_2 z_000_133_a_loosechange_1->z_000_133_a_loosechange_2 [nim] r_0133_0001__Nothing_quant Nothing [quant] r_0133_0001__Nothing_quant->z_000_133_a_loosechange_1 [scope] r_0133_0001__Nothing_quant->z_000_133_a_loosechange_2 [restriction] 
fof(formula,axiom,
    ! [Z_000_133_A_LOOSECHANGE_2] :
      ( z_000_133_a_loosechange_2(Z_000_133_A_LOOSECHANGE_2)
     => ? [Z_000_133_A_LOOSECHANGE_1] :
          ( z_000_133_a_loosechange_1(Z_000_133_A_LOOSECHANGE_1)
          & has_nim2(Z_000_133_A_LOOSECHANGE_1,Z_000_133_A_LOOSECHANGE_2) ) ) ).


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))