slight update to the BiMetaTrans README

diff --git a/src/examples/bimetatrans/README.md b/src/examples/bimetatrans/README.md
index d47e5e13f018da163929996b0b8c6cada2a247f1..2f876545ff207759bf8f150c8b763efb0ce68061 100644 (file)
--- a/src/examples/bimetatrans/README.md
+++ b/src/examples/bimetatrans/README.md
@@ -49,9 +49,9 @@ Loading BiMetaTrans from the Scryer REPL:
 ?- use_module('src/examples/bimetatrans/bimetatrans').
 ```
 
-Using `write/1` to print the string to standard output (`write/1` is used
-because it does not print strings with escape characters (ie. `\"` for
-double quote)):
+Using `write/1` to print the string to standard output, capturing the
+`Prolog->RuleML` direction (`write/1` is used because it does not
+print strings with escape characters, ie., `\"` for double quote):
 
 ```
 ?- parse_ruleml([people('Alex',male),people('Alex',female),people('Siri',female)], [], XML),
@@ -65,8 +65,8 @@ BiMetaTrans is always Ruleml/xmL). `\` is used to continue ISO Prolog
 strings to the next line but is never stored to the string by the
 Prolog reader.
 
-Performing the inverse translation of the previous example, in
-RuleML/Xml:
+Performing the inverse translation of the previous example
+(`RuleML->Prolog`), in RuleML/Xml:
 
 ```
 ?- parse_ruleml(AssertItems, QueryItems,
@@ -90,8 +90,9 @@ RuleML/Xml:
    AssertItems = [people('Alex',male),people('Alex',female),people('Siri',female)], QueryItems = [].
 ```
 
-Non-empty AssertItems and QueryItems lists generated to RuleML/xmL
-simultaneously:
+Double quote characters within strings must be escaped as in
+`\"`. Non-empty AssertItems and QueryItems lists generated to
+RuleML/xmL simultaneously:
 
 ```
 ?- parse_ruleml([a(item), b(item), c(item)], [(?- p, q, r(1), s(-2.222342432), t("attached")), (?- u, v('$V'(q)))], XML),