def BM_elements(predicate, expr, assumptions):
 return all((ask(predicate(b), assumptions) for b in expr.blocks))

def BM_elements ( predicate , expr , assumptions ) : return all ( ( ask ( predicate ( b ) , assumptions ) for b in expr . blocks ) )
block matrix elements .