Assertion list for term "covered with roof".

Results from Ascent++: 1
nest ReceivesActioncovered with roof 0.25