Assertion list
mg (aspect of spinach ) → HasProperty

Results from Ascent++: 1
mgHasProperty equivalent 0.37