Assertion list
original jeep (subgroup of jeep ) → IsA
Results from Ascent++: 1
original jeep → IsA → the prototype bantam brc 0.68