Class(sec:_ElectronicToken complete restriction(sec:hasAsset allValuesFrom(sec:ElectronicToken)) sec:HasAsset)