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

a in ALABEL end

{* vC is needed for axiom i2 (unique definition of attributes) *}

vC in OBJECT with
 linkDR m: vD
end

vD in OBJECT end

vC!m with
  sourcelevel e: 4
  targetlevel f: 3
  label l: a
end


{* the example starts here *}

vx in OBJECT with
   IN c: vC 
   linkDR m1: vy1
   linkDR m2: vy2
end

vy1 in OBJECT with
  IN c: vD
end

vy2 in OBJECT with
 SPEC sc: vy1  {* !! violates orthogonality of vy1,vy2 *}
end



vx!m1 with
  sourcelevel s: 3
  targetlevel t: 2
  label l: a
end

vx!m2 with
  sourcelevel s: 3
  targetlevel t: 2
  label l: a
end