{
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld, Christoph Schuetz
* Created: 27-Nov-2013/M.Jeusfeld (27-Nov-2013/M.Jeusfeld)
* ------------------------------------------------------
* negative example for axiom a12 (= formula (12) in table 1 of the paper)
*
}


vx in OBJECT with
  IN c1: vy
end

vy in OBJECT with
  IN c1: vx
end