Assertion list
entrance (aspect of cave ) → AtLocation
Results from Ascent++: 1
entrance → AtLocation → the cliff face 0.30