Assertion list
soap (primary) → AtLocation
Results from Ascent++: 4
soap → AtLocation → the mold 0.65
soap → AtLocation → thin trace 0.43
soap → AtLocation → medium trace 0.37
soap → AtLocation → suspension 0.25