import hospMM : 'Hospital.ecore#/'; 

package org::eclipse::qvtd::xtext::qvtrelation::tests::hospital {

	transformation isOk(from:hospMM, to:hospMM)
	{
		top relation isOk {
			domain from h1 : Hospital {} {
				h1.patients->forAll(p1, p2 | p1 <> p2 implies p1.id <> p2.id)
			};
			enforce domain to h2 : Hospital {};
		}
	}
}