Assertion list
ink (primary) → IsA
Results from Ascent++: 2
ink → IsA → liquid 0.56
ink → IsA → the most widely used product 0.16