{
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld, Christoph Schuetz
* Created: 23-Oct-2013/M.Jeusfeld (23-Oct-2013/M.Jeusfeld)
* ------------------------------------------------------
* negative example for axiom a28 (= formula (28) 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  {* ERROR !!! 2 levels below vc; must be 3 *}
 IN cl: vc1
 linkDR m: vy
end

vd1 in OBJECT with
 IN cl: vd
end

vy in OBJECT with  {* 2 levels below vd *}
 IN cl: vd1
end

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