if ((s == gNavCenter->RDF_Command) && (type == RDF_RESOURCE_TYPE) && (tv) && (v == gNavCenter->RDF_Command_Refresh)) { return true; }
remoteStoreHasAssertion (RDFT mcf, RDF_Resource u, RDF_Resource s, void* v, RDF_ValueType type, PRBool tv){  Assertion nextAs;  nextAs = u->rarg1;  while (nextAs != null) {    if (asEqual(mcf, nextAs, u, s, v, type) && (nextAs->tv == tv)) return true;    nextAs = nextAs->next;  }  possiblyAccessFile(mcf, u, s, 0);  return false;}