Assertion list
spider (primary) → DefinedAs
Results from Ascent++: 1
spider → DefinedAs → having eight jointed legs 0.31