mKR serializer - default (name
mkr
)
A serializer for the
mKR (my Knowledge Representation) Language
