Assertion list
surface (aspect of implant ) → HasA
Results from Ascent++: 1
surface → HasA → native oxide layer thereon 0.25