Add documentation & fix bug in parsing

The bug in the parsing was due to ordering of how premises are resolved.
There is probably a more elegant fix.
Fix parser bug

See notes for last; was not previously applied to MRR parsing; fixed
now.