Secj is the secondary relation representing refl, (tok x T) true, if a(x) E T.] where Tj is the predicate representing token T, Complex formulae are interpreted classically.
a query or closed formula is true or false of a tree.