Assertion list
wall mural (subgroup of mural ) → IsA
Results from Ascent++: 2
wall mural → IsA → ideal solution 0.24
wall mural → IsA → great way 0.16