Assertion list
oil tanker (primary) → IsA
Results from Ascent++: 2
oil tanker → IsA → a merchant ship 0.52
oil tanker → IsA → ship 0.48