improved M3 extends and implements relations by including aliases