Elephant Specification Language