Assertion list for term "declare deadlock".
Results from Ascent++: 2
union → CapableOf → declare deadlock 0.36
party (aspect of worker) → CapableOf → declare deadlock 0.25