Before revision: In this particular example, B-B-J have defined s to be (positively) recursively semidecidable, or simply semirecursive.
After revision: In this particular example, the authors defined s to be (positively) recursively semidecidable, or simply semirecursive.