Assertion list
new mural (subgroup of mural ) → CapableOf
Results from Ascent++: 1
new mural → CapableOf → take shape 0.56