Assertion list
amorphous solid (subgroup of solid ) → HasProperty

Results from Ascent++: 1
amorphous solidHasProperty a solid 0.68