mnli premise: Osman's tomb was formerly a Byzantine baptistery, and his son's tomb is in the nave of the neighbouring church fragments of its ancient mosaic pavement can be seen on the floor of the tomb. hypothesis: Osman's son's tomb can be found in the nave of the neighbouring church.