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

A in ALABEL end


vc in OBJECT with
  linkDR m1: vd
end

vc!m1 with
  sourcelevel k1: 2
  targetlevel l1: 2
  label lab: A
end

vd in OBJECT with
end


vs in OBJECT with
  IN c: vc
  linkD m1: vy
end

vs!m1 with
  sourcelevel k1: 1
  targetlevel l1: 1
  label lab: A
end

vt in OBJECT with
  IN c: vd
end


vx in OBJECT with
  SPEC c: vs
  linkR m1: vt
end

vx!m1 with
  sourcelevel k1: 1
  targetlevel l1: 1
  label lab: A
end


vy in OBJECT with
  SPEC c: vt
end