Ascent++
Search
stationary phase
subgroup of
phase
,
2
assertions
HasProperty
1
a solid
0.68
IsA
1
liquid
0.68