Assertion list for term "applied with substitution".
Results from Ascent++: 1
provision (aspect of act) → ReceivesAction → applied with substitution 0.25