Assertion list
local coordinate system (subgroup of coordinate system ) → HasA
Results from Ascent++: 1
local coordinate system → HasA → origin 0.68