Assertion list
representative money (subgroup of money ) → IsA
Results from Ascent++: 2
representative money → IsA → certificate 0.68
representative money → IsA → money 0.68