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

a in ALABEL end

vx1 in OBJECT with
 linkDR m: vy1
end

vy1 in OBJECT with
end

vx1!m with
  sourcelevel s: 2
  targetlevel t: 1
  label l: a
end


vx2 in OBJECT with
 linkDR m: vy2
end

vy2 in OBJECT with
end

vx2!m with
  sourcelevel s: 2
  targetlevel t: 1
  label l: a
end