The imposing high altar stands over St. Mark's tomb.
St. Mark's tomb sits not surrounded by anything.
mnli hypothesis: St. Mark's tomb sits not surrounded by anything. premise: The imposing high altar stands over St. Mark's tomb.