Assertion list
den (aspect of porcupine ) → AtLocation
Results from Ascent++: 1
den → AtLocation → hollow logs 0.68