A smart legal agreement – basic Illustrative example abstract syntax: smartLegalAgreement : header prose header : Date* Signature* InstantiatedSmartContractID? DocHash? DocID prose : proseSection+ proseSection : presentationalMarkup? parameter? Text presentationalMarkup : PresentationalStyle* parameter : ParameterName ParameterType ParameterValue UNRESTRICTED 25
