The MMT formalizations for the very first FrameIT prototype by Dennis Rochau. This is Obsolete by now.