Assertion list for term "expressed as φ(t".

Results from Ascent++: 1
phase ReceivesActionexpressed as φ(t 0.25