Assertion list
euro coin (subgroup of coin ) → HasProperty
Results from Ascent++: 1
euro coin → HasProperty → bimetallic 0.29