@Override
	public String toString() {
		String str = lhs.toString();
		if(rhsRole == null)
			str+=" SubClassOf "+rhsFiller.toString();
		else
			str+=" SubClassOf (" +rhsRole.toString()+" SOME "+rhsFiller.toString()+")";
		return str;
	}