Assertion list
red line (primary) → IsA
Results from Ascent++: 5
red line → IsA → blue line 0.46
red line → IsA → the line 0.45
red line → IsA → the model lines 0.38
red line → IsA → rapid transit line 0.29
red line → IsA → heavy rail subway line 0.25