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