/test.data/actions/test32.test

http://github.com/kappamodeler/jkappa · Unknown · 5 lines · 5 code · 0 blank · 0 comment · 0 complexity · 36e48d9bfab64bcc67f9a4000abe32b7 MD5 · raw file 

    

  1. 'test_BND_02' A(x~q), B(x) -> A(x~q!1), B(x!1)

    2. 

  2. %init:  2 * (A(x~q), B(x))

    3. 

  3. %obs: '3020' A(x~q!1), B(x!1)

    4. 

  4. %obs: '3022' A(x~q)

    5. 

  5. %obs: '3023' B(x)
    6.