Ascent++
Search
amorphous solid
subgroup of
solid
,
1
assertions
HasProperty
1
a solid
0.68