Assertion list for term "specified in formula".

Results from Ascent++: 1
variable ReceivesActionspecified in formula 0.33