Added check for claim

Claim is now checked whether it exists in the grounded framework. Error
thrown if not.