Ancient, Theatres - Amphitheatre
Links: www-rocq.inria.fr
By: kjfitz