MahāvaggavaggaMahāvagga

Abhidhammapiṭaka · Kathāvatthu · Vol. 37 · Section 85

[85] [Sakavādin:] Taking it that a person (puggala) who is a stream-enterer (sotāpanna), having passed away from the human world (manussaloka) and been reborn in the heavenly world (devaloka), is still a stream-enterer there too — and for that reason [do you conclude that] the very same person runs on (sandhāvati) from this world to the other world, and from the other world to this world? [Paravādin:] Yes. [Sakavādin:] Taking it that a person who is a stream-enterer, having passed away from the human world and been reborn in the heavenly world, is a human there too? [Paravādin:] It should not be said thus. …

English translation from the Pali (Siam Raṭṭha edition) — under review, not for citation.