Assertion list
android (primary) → MotivatedByGoal
Results from Ascent++: 1
android → MotivatedByGoal → life 0.25