Assertion list
natural world (subgroup of universe ) → IsA

Results from Ascent++: 1
natural worldIsA concrete object 0.68