Assertion list
base (aspect of parallelogram ) → HasA
Results from Ascent++: 5
base → HasA → corner 0.68
base → HasA → a radius of #4 cm 0.44
base → HasA → a radius of #9 cm 0.29
base → HasA → a radius of #5 cm 0.28
base → HasA → a radius of #6 cm 0.25