@Test
public void testGetNonWffAssertExplanation_CycAccess() {

  System.out.println("getNonWffAssertExplanation");
  CycFormulaSentence instance = cycAccess.makeCycSentence("(#$isa #$MarkDuggan-SoccerPlayer #$BiologicalLivingObject)");
  String expResult = null;
  String result = instance.getNonWffAssertExplanation(cycAccess);
  assertEquals(expResult, result);
  // TODO review the generated test code and remove the default call to fail.
    fail("The test case is a prototype.");
}