Draft 2 ADL Formalisation 110214