Assertion list for term "be a box of porous concrete".

Results from Ascent++: 1
basement CapableOfbe a box of porous concrete 0.25