rule Person2Student{
from 
	person : PersonMM!Person(person.age < 26)
to
	student : StudentMM!Student(
		name <- person.name --attribute
                has_adress <-person.has_adress -- reference  Person ----- 1..* : has_adress ----> Home 
        )
}
rule Home2Adress{){
from 
	home : PersonMM!Home 
to
	adress : StudentMM!Adress(
		adress <- home.adress
	)
}

helper context PersonMM!Person def : filter : Boolean =
self.age < 26;

helper context PersonMM!Home def : filter : Boolean =
PersonMM!Person.allInstances()->select(e | e.filter)->exists(e |e.has_adress = self);

rule Person2Student{
from 
	person : PersonMM!Person(person.filter)

rule Home2Adress{
from 
	home : PersonMM!Home (home.filter)

helper context PersonMM!Home def : filter : Boolean =
PersonMM!Person.allInstances()->select(e | e.filter)->exists(e |e.has_adress->includes(self));