Assertion list
state (primary) → MotivatedByGoal
Results from Ascent++: 1
state → MotivatedByGoal → texas 0.55