A high-level language for rule-based modelling.

A high-level language for rule-based modelling.