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


vy1 in OBJECT end

vy2 in OBJECT end

vx in OBJECT with
  SPEC c1: vy1
  SPEC c2: vy2
end