Assertion list
flow (aspect of resistor ) → CapableOf
Results from Ascent++: 1
flow → CapableOf → come to step 0.68