A example of a formal definition of a control.

      profileCtrl1{
      Intent: ACCESS(Katonah-profile)
      Host: Katonah
      Form: Iconify(Katonah-profile)
      Style: ATTACHED
      State: (Edefault=T,Vdefualt=F, Adefault=F)
      Operation: {
        Trigger: Focus(Katonah)
        Precondition: exist(self)^ invisible(self)
        Action: Show(self)
        Postcondition: Visible(self)
        ,
        Trigger: Toggle(Katonah)
        Precondition: exist(self)^ unavailable(self)
        Action: Enable(self)
        Postcondition: enabled(self)
        ,
        Trigger: Toggle(Self)
        Precondition: exist(self)^ visible(self)^available(self)
        Action: Reaveal(Katonah-Profile)
        Postcondition: Reavealed(Katonah-Profile),...}
        }