Discussion points • Should the abstract syntax be accompanied with an abstract semantics, to facilitate automated checking and analysis? • Should there be a generic abstract syntax (and semantics?) that is applicable across the whole of law? - or focused on just financial agreements? - or focused just for one business area? • What are the constraints for development of common abstract syntaxes? • Any preferences for academic research directions? UNRESTRICTED 28