Assertion list for term "show the name of the owner".

Results from Ascent++: 1
proof CapableOfshow the name of the owner 0.27