protected void doTestCycAccess9(CycAccess cycAccess) {
    long startMilliseconds = System.currentTimeMillis();

    try {
      CycConstant brazil = cycAccess.getKnownConstantByGuid(BRAZIL_GUID_STRING);
      CycConstant country = cycAccess.getKnownConstantByGuid(COUNTRY_GUID_STRING);
      CycConstant worldGeographyMt = cycAccess.getKnownConstantByGuid(
              WORLD_GEOGRAPHY_MT_GUID_STRING);
      CycConstant dog = cycAccess.getKnownConstantByGuid(DOG_GUID_STRING);
      HashSet hashSet = new HashSet();
      hashSet.add(dog);
      assertTrue(hashSet.contains(dog));

      CycConstant animal = cycAccess.getKnownConstantByGuid(ANIMAL_GUID_STRING);
      CycConstant biologyVocabularyMt = cycAccess.getKnownConstantByGuid(
              BIOLOGY_VOCABULARY_MT_GUID_STRING);
      CycConstant performedBy = cycAccess.getKnownConstantByGuid(PERFORMED_BY_GUID_STRING);
      CycConstant doneBy = cycAccess.getKnownConstantByGuid(DONE_BY_GUID_STRING);
      CycConstant siblings = cycAccess.getKnownConstantByGuid(SIBLINGS_GUID_STRING);
      CycConstant generalLexiconMt = cycAccess.getKnownConstantByGuid(
              GENERAL_LEXICON_MT_GUID_STRING);
      CycConstant paraphraseMt = cycAccess.getKnownConstantByGuid(PARAPHRASE_MT_GUID_STRING);
      CycConstant mtTimeWithGranularityDimFn = cycAccess.getKnownConstantByGuid(
              MT_TIME_WITH_GRANULARITY_DIM_FN_GUID_STRING);
      CycConstant mtSpace = cycAccess.getKnownConstantByGuid(MT_SPACE_GUID_STRING);
      CycConstant now = cycAccess.getKnownConstantByGuid(NOW_GUID_STRING);
      CycConstant timePoint = cycAccess.getKnownConstantByGuid(TIMEPOINT_GUID_STRING);
      //(#$MtSpace (#$MtTimeWithGranularityDimFn #$Now #$TimePoint) #$WorldGeographyMt)
      ELMt worldGeographyMtNow =
              cycAccess.makeELMt(
              new CycNaut(
              mtSpace, new CycNaut(mtTimeWithGranularityDimFn, now, timePoint), worldGeographyMt));


      // isa
      assertTrue(cycAccess.isa(brazil, country, worldGeographyMt));
      assertTrue(cycAccess.isa(brazil, country, worldGeographyMtNow));
      assertTrue(cycAccess.isa(brazil, country));

      // isGenlOf
      assertTrue(cycAccess.isGenlOf(animal, dog, biologyVocabularyMt));
      assertTrue(cycAccess.isGenlOf(animal, dog));


      // isGenlPredOf
      assertTrue(cycAccess.isGenlPredOf(doneBy, performedBy, baseKB));
      assertTrue(cycAccess.isGenlPredOf(doneBy, performedBy));


      // isGenlInverseOf
      assertTrue(cycAccess.isGenlInverseOf(siblings, siblings,
              biologyVocabularyMt));
      assertTrue(cycAccess.isGenlInverseOf(siblings, siblings));


      // isGenlMtOf
      if (!cycAccess.isOpenCyc()) {
        assertTrue(cycAccess.isGenlMtOf(baseKB, biologyVocabularyMt));
      }

      /*
      // tests proper receipt of narts from the server.
      String script = "(csetq all-narts nil)";
      cycAccess.converseVoid(script);
      script = "(progn \n" +
      "  (do-narts (nart) \n" +
      "    (cpush nart all-narts)) \n" +
      "  nil)";
      cycAccess.converseVoid(script);
      script = "(clet (nart) \n" +
      "  (csetq nart (first all-narts)) \n" +
      "  (csetq all-narts (rest all-narts)) \n" +
      "  nart)";
      long numberGood = 0;
      long numberNil = 0;
      while (true) {
      Object obj = cycAccess.converseObject(script);
      if (obj.equals(nil))
      break;
      assertTrue(obj instanceof CycNart);
      CycNart cycNart = (CycNart) obj;
      assertTrue(cycNart.cyclify() instanceof String);
      String script2 = "(find-nart " + cycNart.stringApiValue() + ")";
      Object obj2 = cycAccess.converseObject(script2);
      if (cycNart.equals(obj))
      numberGood++;
      else
      numberNil++;
      }
      assertTrue(numberGood > 20 * numberNil);
      script = "(csetq all-narts nil)";
      cycAccess.converseVoid(script);
       */
    } catch (Throwable e) {
      e.printStackTrace();
      fail(e.toString());
    }

    long endMilliseconds = System.currentTimeMillis();
    System.out.println("  " + (endMilliseconds - startMilliseconds) + " milliseconds");
  }