Elawini (Extended Version)

Elawini (Extended Version)