'Reject' semipredicate example corrections