A top-down binary tree method for symbolic class descriptions