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

vx1 in OBJECT with
   IN c: vC 
   linkDR m: vy
end

vx2 in OBJECT with
   SPEC sc: vx1  {* !!! violates orthogonality of vx1,vx2 *}
   linkDR m: vy
end

vy in OBJECT with
  IN c: vD
end

vx1!m with
  sourcelevel s: 3
  targetlevel t: 2
  label l: a
end

vx2!m with
  sourcelevel s: 3
  targetlevel t: 2
  label l: a
end