Mining Explosion Identification As An Application To Treaty Verification