public void testEqualsAtEL() {
    System.out.println("\n*** testEqualsAtEL ***");
    try {
      CycFormulaSentence sentence = getCyc().makeCycSentence("(#$likesAsFriend ?X ?Y)");
      assertTrue(sentence.equalsAtEL(getCyc().makeCycSentence("(#$likesAsFriend ?Z ?Y)")));
      CycFormulaSentence sentence2 = getCyc().makeCycSentence("(#$and (#$isa ?X #$Person) (#$likesAsFriend ?X ?Y))");
      assertTrue(sentence2.equalsAtEL(getCyc().makeCycSentence("(#$and (#$isa ?Z #$Person) (#$likesAsFriend ?Z ?Y))")));
      CycFormulaSentence sentence3 = getCyc().makeCycSentence("(#$and (#$isa ?Y #$Person) (#$likesAsFriend ?X ?Y))");
      assertFalse(sentence3.equalsAtEL(getCyc().makeCycSentence("(#$and (#$isa ?X #$Person) (#$likesAsFriend ?X ?Y))")));
    } catch (Exception e) {
      failWithException(e);
    }
    System.out.println("*** testEqualsAtEL OK ***");
  }