Fig. 6From: Evaluation of properties over phylogenetic trees using stochastic logicsDescription of the Jukes-Cantor model in PRISM syntaxBack to article page