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


vy1 in OBJECT end

vy2 in OBJECT end

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