Text this: On functionals of a marked Poisson process observed by a renewal process