Assertion list
toll road (subgroup of road ) → CapableOf
Results from Ascent++: 1
toll road → CapableOf → go bankrupt 0.25