Assertion list for term "depict the address of the premise".

Results from Ascent++: 1
proof CapableOfdepict the address of the premise 0.25