Assertion list for term "set to be rental".

Results from Ascent++: 1
property (aspect of concrete) HasPropertyset to be rental 0.25