for (int i = 0; i < s;)
{
if (k < list.length)
{
Map.Entry<OWLClass, Integer> entry = (Map.Entry<OWLClass, Integer>)list[k++];
OWLClass c = entry.getKey();
//System.out.println(c.toString());
Object[] sclasses = c.getSuperClasses(tbox).toArray();
for (int j = 0; j < sclasses.length && i < s; j++)
{
OWLDescription sclassDescription = (OWLDescription) sclasses[j];
if (sclassDescription.isAnonymous())
continue;
OWLClass sclass = sclassDescription.asOWLClass();
if (sclass != null && !selection.contains(sclass))
{
//System.out.println("--->" + sclass.toString());
selection.add(sclass);
remainingConcepts.remove(sclass);