Assertion list
tarantula (primary) → HasA
Results from Ascent++: 2
tarantula → HasA → fang 0.33
tarantula → HasA → eight legs 0.25