KAT, an ITSLanguage product