Assertion list for term "closed path".
Results from Ascent++: 1
circuit → IsA → closed path 0.45