Given the argumentation framework and specific argument, it should be able to compute whether the argument is skeptically accepted in stage extension