Uses of Class
jason.stdlib.succeed_goal