Yep.
But I mean , I guess  I guess the thing is , uh , this is another , smaller , case of reasoning in the case of an uncertainty , which makes me think Bayes - net should be the way to solve these things. So if you had  If for every construction ,
Oh !
right ? you could say , " Well , there  Here 's the Where - Is construction. " And for the Where - Is construction , we know we need to l look at this node , that merges these three things together