Assertion: disco | /r/HasProperty | depend on osiconic
Facets:
value: in communicating with its solver
type: TEMPORAL
Source sentences:
text: DisCO depends on OsiConic in communicating with its solver.