Assertion list
blade (aspect of screwdriver ) → AtLocation
Results from Ascent++: 1
blade → AtLocation → deployed state 0.25