Assertion list
vector (primary) → IsA
Results from Ascent++: 4
vector → IsA → virus 0.59
vector → IsA → line 0.48
vector → IsA → tensor 0.41
vector → IsA → directed line segment 0.41