Draft 3 ADL Formalisation 040314