Assertion list
deputy marshal (subgroup of marshal ) → IsA
Results from Ascent++: 1
deputy marshal → IsA → tendered proper means 0.25