SMS: Subsumption als Problemlösung :