Assertion list for term "controlled by the opt.prof_prefixoption".
Results from Ascent++: 1
prefix → ReceivesAction → controlled by the opt.prof_prefixoption 0.29