rml-fnml
FNML specification