Assertion list for term "fail in case".
Results from Ascent++: 1
negotiation → CapableOf → fail in case 0.34