Assertion list
dry ice (primary) → IsA

Results from Ascent++: 3
dry iceIsA solid form of carbon dioxide 0.66
dry iceIsA carbon dioxide 0.62
dry iceIsA solid form of co2 0.42