Assertion list for term "opc".

Results from Ascent++: 1
concrete MadeOfopc 0.20