Assertion list
body (aspect of mole ) → HasProperty

Results from Ascent++: 2
bodyHasProperty cylindrical 0.56
bodyHasProperty flat 0.25