When they were dug up they found an antechamber under the rock.
They dug with big shovels.
mnli hypothesis: They dug with big shovels. premise: When they were dug up they found an antechamber under the rock.