Assertion: disco | /r/HasProperty | tested with openmpi
Facets:
Source sentences:
text: DisCO is tested with both mpich2 and openmpi.