. . . "IS KEO"@cs .