The rules that use the category "<assertion-command-existence_claim>" are:
<assertion-command-existence_claim>