; Axioms
(axiom_stmt
  (label) @name) @definition.function

; Provable theorems
(provable_stmt
  (label) @name) @definition.function

; Floating hypotheses
(floating_stmt
  (label) @name) @definition.variable

; Essential hypotheses
(essential_stmt
  (label) @name) @definition.variable

; References in proofs
(uncompressed_proof
  (label) @name) @reference.call