Assertion list
binding estimate (subgroup of estimate ) → AtLocation
Results from Ascent++: 1
binding estimate → AtLocation → writing 0.25