Assertion list
wedding invitation (subgroup of invitation ) → AtLocation
Results from Ascent++: 1
wedding invitation → AtLocation → cave 0.25