Assertion: prism | /r/CapableOf | provide support
Facets:
Source sentences:
text: PRISM provides support for automated analysis of a wide range of quantitative properties of these models, e.g. "what is the probability of a failure causing the system to shut down within 4 hours?