Assertion list
fedora (primary) → IsA
Results from Ascent++: 3
fedora → IsA → hat 0.49
fedora → IsA → felt hat 0.45
fedora → IsA → a linux distribution 0.42