mnli premise: South of Molyvos, the resort town of Petra has an 18th-century townhouse museum and a pretty church built on a large rock at its center. hypothesis: Petra's only attractions are a pretty church and a museum.