Assertion list for term "stop with porsche doppelkupplung".

Results from Ascent++: 1
clock CapableOfstop with porsche doppelkupplung 0.19