Assertion list for term "controlled within class".
Results from Ascent++: 1
type (aspect of variable) → ReceivesAction → controlled within class 0.28