Assertion list
design (aspect of tent ) → AtLocation

Results from Ascent++: 1
designAtLocation harmony 0.30