Assertion list for term "difficult costly, time-consuming".

Results from Ascent++: 1
proof HasPropertydifficult costly, time-consuming 0.44