1: \begin{abstract}

2: We consider a sequence $\mbT = (\mcT_n : n \in \mbbN^+)$ of trees $\mcT_n$ where,

3: for some $\Delta \in \mbbN^+$ every $\mcT_n$ has height at most $\Delta$ and as $n \to \infty$

4: the minimal number of children of a nonleaf tends to infinity.

5: We can view every tree as a (first-order) $\tau$-structure where $\tau$ is a signature with one binary relation symbol.

6: For a fixed (arbitrary) finite and relational signature $\sigma \supseteq \tau$ we consider the set $\mbW_n$ of

7: expansions of $\mcT_n$ to $\sigma$ and a probability distribution $\mbbP_n$ on $\mbW_n$ which is determined

8: by a (parametrized/lifted) Probabilistic Graphical Model (PGM) $\mbbG$ which can use the information given

9: by $\mcT_n$.

10: 

11: The kind of PGM that we consider uses formulas of a many-valued logic that we call $PLA^*$ 

12: with truth values in the unit interval $[0, 1]$. We also use $PLA^*$ to express queries, or events, on $\mbW_n$.

13: With this setup we prove that, under some assumptions on $\mbT$, $\mbbG$, and a 

14: (possibly quite complex) formula $\varphi(x_1, \ldots, x_k)$

15: of $PLA^*$, as $n \to \infty$, if $a_1, \ldots, a_k$ are vertices of the tree $\mcT_n$ then 

16: the value of $\varphi(a_1, \ldots, a_k)$ will, with high probability,

17: be almost the same as the value of $\psi(a_1, \ldots, a_k)$, where $\psi(x_1, \ldots, x_k)$ is a ``simple''

18: formula the value of which can always be computed quickly (without reference to $n$), and $\psi$ itself can be found by using only

19: the information that defines $\mbT$, $\mbbG$ and $\varphi$.

20: A corollary of this, subject to the same conditions, is a probabilistic convergence law for $PLA^*$-formulas.

21: \end{abstract}