Assertion list
joule (primary) → IsA
Results from Ascent++: 2
joule → IsA → unit 0.41
joule → IsA → the si unit 0.25