Quantifying disablers in reasoning with universal and existential rules | Synapse