{
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld, Christoph Schuetz
* Created: 27-Nov-2013/M.Jeusfeld (27-Nov-2013)
* ------------------------------------------------------
* negative example for a15 (= formula (15) 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

vx in OBJECT with
  IN c: vs
  linkDR m1: vt2
end

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

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

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

vy in OBJECT with
  IN c: vt1
end


vt1 in OBJECT with
  IN c: vd
end

vt2 in OBJECT with
  IN c: vd
end