Assertion: whirlpool | /r/CapableOf | set up a model checker
Facets:
value: online
type: LOCATION
Source sentences:
text: Whirlpool has set up a model checker online, although this itself appears to have crashed.