Stav dette: Subsumption als Problemlösung :