public static final void exampleAssertionManipulations() {
    System.out.println("Starting assertion examples.");
    try {
      CycConstant cycAdministrator = access.getKnownConstantByName("CycAdministrator");
      CycConstant generalCycKE = access.getKnownConstantByName("GeneralCycKE");
      access.setCyclist(cycAdministrator); // needed to maintain bookeeping information
      access.setKePurpose(generalCycKE); // needed to maintain bookeeping information

      // Note: the CycAccess class has many assertion helper methods
      // that begin with "assert" like assertIsa, assertIsas, assertGenls,
      // assertComment, etc. that are worth investigating

      // Creating a formula (local) for asserting
      final CycFormulaSentence gaf = CycFormulaSentence.makeCycFormulaSentence(
              access.getKnownConstantByName("likesAsFriend"),
              access.getKnownConstantByName("BillClinton"),
              access.getKnownConstantByName("HillaryClinton"));
      // alternatvely, one could use the CycLParser
      CycFormulaSentence gaf2 = CycLParserUtil.parseCycLSentence("(likesAsFriend BillClinton HillaryClinton)", true, access);

      assert gaf.equals(gaf2) : "Good grief! List parsing appears to be broken.";

      // making an assertion to the KB
      ELMt peopleDataMt = access.makeELMt(access.getKnownConstantByName("PeopleDataMt"));
      access.assertGaf(gaf, peopleDataMt);

      // verifying that a forumla is asserted
      boolean isValid = access.isGafValidAssertion(gaf, peopleDataMt);
      // Note: the previous call is very new and may not be in all distrubutions yet
      assert isValid : "Good grief! Our assertion didn't make it into the KB.";

      // removing an assertion from the KB
      access.unassertGaf(gaf, peopleDataMt);

      isValid = access.isGafValidAssertion(gaf, peopleDataMt);
      assert !isValid : "Good grief! Our assertion didn't get removed from the KB.";

      // Generating NL for an assertion
      String nl = access.getImpreciseParaphrase(gaf);
      System.out.println("Got generation for assertion, " + gaf + "\n" + nl);

    } catch (UnknownHostException nohost) {
      nohost.printStackTrace();
    } catch (IOException io) {
      io.printStackTrace();
    } catch (CycApiException cyc_e) {
      cyc_e.printStackTrace();
    } catch (Exception e) {
      e.printStackTrace();
    }
    System.out.println("Finished.");
  }