Assertion list
arachnid (primary) → HasProperty
Results from Ascent++: 1
arachnid → HasProperty → carnivorous 0.54