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


vy1 in OBJECT end

vx1 in OBJECT with
  IN c: vy1
  SPEC sc: vy2
end

vy2 in OBJECT end