Assertion list for term "fixed at the beginning".
Results from Ascent++: 1
term (aspect of lease) → ReceivesAction → fixed at the beginning 0.34