is mentioned by

Thm* t:qimp{i:l}(). t.concl Fmla	[qimp_concl_wf]
Thm* t:qimp{i:l}(). t.hyp Fmla	[qimp_hyp_wf]
Thm* t:qimp{i:l}(). t.lbl Label	[qimp_lbl_wf]
Def vc{i:l}() == imp{i:l}()+qimp{i:l}()	[vc]

Try larger context: GenAutomata