In Child: update seed. In Parent: speed up communicate. In Grammar: only expand rules where rule.cost <= best_rule.cost+max_substitution_cost. Rename inverse/1 to rhs_mapping/1. Add lhs_mapping/1.