Assertion list
steam locomotive (subgroup of locomotive ) → AtLocation
Results from Ascent++: 1
steam locomotive → AtLocation → the people's republic of china 0.16