boolean andRule(OWLIndividual node){
		HashSet<OWLClassExpression> toadd = new HashSet<OWLClassExpression>();
		HashSet<OWLClassExpression> labels = nodeLabels.get(node);
		for(OWLClassExpression label:labels)
			if(label instanceof OWLObjectIntersectionOf)
			{
				OWLObjectIntersectionOf and = (OWLObjectIntersectionOf) label;
				for(OWLClassExpression operand:and.getOperands())
					if(!labels.contains(operand))
						toadd.add(operand);
			}
		labels.addAll(toadd);
		if(toadd.size()>0)
			return true;
		return false;
	}