public void testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds() { testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds( new FOLTFMResolution(10 * 1000), true); }