Assertion list
concave mirror (subgroup of mirror ) → CapableOf

Results from Ascent++: 1
concave mirrorCapableOf form magnified image of an obje… 0.68