An alcove had been carved twenty steps from the main support and the barrel.
The alcove was smoothed over.
mnli hypothesis: The alcove was smoothed over. premise: An alcove had been carved twenty steps from the main support and the barrel.