Assertion list for term "implied by otherwise".
Results from Ascent++: 2
term (aspect of contract) → ReceivesAction → implied by otherwise 0.45
part → ReceivesAction → implied by otherwise 0.36