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

a in ALABEL end

vc in OBJECT with
   linkDR m: vd
end

vd in OBJECT end

vc!m with
  sourcelevel e: 3
  targetlevel f: 2
  label l: a
end


vc1 in OBJECT with
 IN cl: vc
end

vc2 in OBJECT with
 IN cl: vc1
end

vx in OBJECT with  {* 3 levels below vc *}
 IN cl: vc2
 linkDR m: vy
end

vd1 in OBJECT with
 IN cl: vd
end

vy in OBJECT with  {* ERROR !!! 1 levels below vd; must be 2 *}
 IN cl: vd
end

vx!m with
  sourcelevel s: 0
  targetlevel t: 0
  label l: a
end