Assertion list for term "fixed to the roof".

Results from Ascent++: 1
membrane CapableOffixed to the roof 0.25