prox relation= distance3 unitword orderingordered srw.serverChoice scr cat srw.serverChoice scr hat