private testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds ( ) : void | ||
return | void |
public void testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds()
{
testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLFCAsk());
}