This question came up in my research: What is the probability that $Ax\geq0$ where $x$ is a vector of iid gaussians and $A$ is matrix of $1$s and $0$s?
So far I only figured out that I can do Monte Carlo or assume inequality encoded by each row of $A$ is independent for all the other inequalities; then there's an explicit formula for and upper bound using Boole inquality.