Assertion list for term "one double-acting circuit".

Results from Ascent++: 1
attachment HasPrerequisiteone double-acting circuit 0.25