Assertion list
die (primary) → IsA
Results from Ascent++: 6
die → IsA → tool 0.50
die → IsA → specialized tool 0.39
die → IsA → one device 0.25
die → IsA → other semiconductor device 0.25
die → IsA → six-sided object 0.25
die → IsA → one thing 0.22