{
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 27-Nov-2013/M.Jeusfeld (27-Nov-2013)
* ------------------------------------------------------
* positive example for a10a,a10b
*
}

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

vt1 in OBJECT with
  IN c: vd
end

vt2 in OBJECT with
  IN c: vd
end

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

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


vy in OBJECT with
  SPEC c: vt1
end