rules expanding "assertion-command" category

[home] [category list] [vocabulary list] [help]

The category "<assertion-command>" can be expressed as follows:

<assertion-command>: <existence_claim-not_inv-gapsout_null-gapsin_null>