retrieve

abstract fun retrieve(clause: <ERROR CLASS>): RetrieveResult<out ClauseCollection>

Produces a RetrieveResult as a consequence of the attempt at deleting the given Clause from this ClauseCollection