text: rammeproblemet er å finne ein måte å logisk uttrykkje dynamiske domene utan å måtte eksplisitt framsetje kva som ikkje vert endra av alle handlingane for store domene kan det krevje veldig mange rammeaksiom