Assertion list
fire opal (subgroup of opal ) → AtLocation
Results from Ascent++: 1
fire opal → AtLocation → mexico 0.79