Theory "label"

Parents     bool

Signature

Type Arity
label 0
Constant Type
:- :label -> bool -> bool

Definitions

label_def 
|- !lab argument. (lab :- argument) = argument