Assertion list
pelta class frigate (subgroup of frigate ) → IsA
Results from Ascent++: 1
pelta class frigate → IsA → a model of frigate 0.68