Assertion list
property crime (subgroup of crime ) → IsA
Results from Ascent++: 1
property crime → IsA → crime 0.16