t∈𝒯(c)⇔{(t∈dom(ϕ)if   c≡ϕ(∃i:   t∈𝒯((Subscript[c, i])))⋀(∀i:   ℰ((Subscript[c, i]),t)≠⊥if   c≡op((Subscript[c, 1]),…   ,(Subscript[c, n]))t∈𝒯((Subscript[c, 1]))if   c≡latch((Subscript[c, 0]),(Subscript[c, 1]))t∈𝒯((Subscript[c, 0]))⋀ℰ((Subscript[c, 0]),t)=trueif   c≡when((Subscript[c, 0]))t∈𝒯((Subscript[c, 1]))⋀ℰ((Subscript[c, 0]))≠⊥if   c≡(Subscript[c, 0])@(Subscript[c, 1]))