Assertion list for term "transferred in controlled transaction".
Results from Ascent++: 1
property (aspect of function) → ReceivesAction → transferred in controlled transaction 0.33