PRESENTED BY
oliver goodenough (vermont law school)envisioning a capable legal specification language