Fig. 7From: Evaluation of properties over phylogenetic trees using stochastic logicsRepresentation in PRISM syntax of the MLE equations for Fig. 4 Back to article page