Sgai paper draft

 - Typeset using SGAI guidelines
 - Add back in Sato style semantics
 - Restructure to account for this