retrieve

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

Retrieves the first unifying Clause from this MutableClauseMultiSet as a RetrieveResult