Assertion: mercury | /r/CapableOf | allow separate compilation
Facets:
Source sentences:
text: Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.