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

vc1 in OBJECT with
   IN c: vC
   linkDR m: vd
end

vc2 in OBJECT with
   IN c: vC
   linkDR m: vd
end

vd in OBJECT with
  IN c: vD
end


vc1!m with
  sourcelevel e: 3
  targetlevel f: 2
  label l: a
end

vc2!m with
  sourcelevel e: 3
  targetlevel f: 2
  label l: a
end




vc in OBJECT with
   IN c: vC
end

vx1 in OBJECT with
 IN cl: vc {* !!! must be vc2 or vc1 *}
end

vx2 in OBJECT with
 IN cl: vx1
end

vx in OBJECT with  
 IN cl: vx2  {* 3 levels below vc2  *}
 linkDR m: vy
end


vy1 in OBJECT with
 IN cl: vd 
end

vy in OBJECT with  {*  (vy ISA_RT vd) is true *}
 IN cl: vy1
end

vx!m with
  sourcelevel s: 0
  targetlevel t: 0
  label l: a
end