What is the sound method for reconstructing the predicate of «fa-idhā Zayd»?

Conditions of the Predicate: Ellipsis, Reconstruction and Expression

• Always supply bi-l-bayt
• Always supply sleeping
• A predicate such as ḥāḍir is possible; exact location requires context
• There is no possible predication