rules for type composition (1000225550);