Assertion list
endowment (primary) → AtLocation
Results from Ascent++: 1
endowment → AtLocation → mfs 0.25