Assertion list
pascal (primary) → IsA
Results from Ascent++: 2
pascal → IsA → the si unit of pressure 0.58
pascal → IsA → small unit 0.25