#include<stdio.h>
#include<string.h>
int main()
{char line[101],c;
int n,i,j,valid,brk,basc,idxc,varc;
scanf("%i",&n);
for(i=0;i<n;i++)
{valid=1;
for(j=0;c-'\n'&&j<100;j++)
{scanf("%c",&c);
if(c-'\n')line[j]=c;
if(!strchr("+-[]abcdefghijklmnopqrstuvwxyz0123456789BDIPSX",c))valid=0;
}line[j]=0;
if(valid)brk=basc=idxc=varc=0;
if(valid)if(line[0]=='+'||line[0]=='-'||line[strlen(line)-1]=='+'||line[strlen(line)-1]=='-')valid=0;
for(j=0;j<strlen(line)&&valid;j++)
{
if(strchr("0123456789+-",line[j]))continue;
if(((line[j]|('a'-'A'))=='b')&&strchr("abcdefghijklmnoqrstuvwyz",line[j+1]|('a'-'A'))){valid=0;break;}
if(((line[j]|('a'-'A'))=='b')&&strchr("px",line[j+1]|('a'-'A'))){basc++;j++;continue;}
if(((line[j]|('a'-'A'))=='s')&&'i'!=(line[j+1]|('a'-'A'))){valid=0;break;}
if(((line[j]|('a'-'A'))=='d')&&'i'!=(line[j+1]|('a'-'A'))){valid=0;break;}
if((line[j]|('a'-'A'))=='s'){idxc++;continue;}
if((line[j]|('a'-'A'))=='d'){idxc++;continue;}
if(line[j]=='['){brk++;if(line[j+1]=='+'||line[j+1]=='-')valid=0;continue;}
if(line[j]==']'){brk--;if(line[j-1]=='+'||line[j-1]=='-')valid=0;continue;}
if(strchr("abcdefghijklmnopqrstuvwxyz",line[j])){varc++;break;}
}
if(valid)if(brk||basc>1||idxc>1||varc>1)valid=0;
if(valid)printf("OK\n");else printf("ERROR\n");
}
return 0;
}