Assertion list for term "lie at depth".

Results from Ascent++: 1
earthquake CapableOflie at depth 0.36