The category "<assertion-command-existence_claim>" can be expressed as follows:
<existence_claim-not_inv-gapsout_null-gapsin_null>