Model 1 -Based on<cite> [Lavie et al. 2008]</cite> Following an idea similar to that described in<cite> [Lavie et al. 2008]</cite> , our implementation (model 1) assigns prime numbers to each pair of aligned terminal nodes 1 .