Assertion list for term "oriented towards future time point".
Results from Ascent++: 1
future contract (subgroup of contract) → ReceivesAction → oriented towards future time point 0.30