// Leave one empty line!
// compare,hasRefExp,followsRefExp,"surface form"
true,true,false,"distilled in {compareVal}, {refExp}"
false,true,false,"distilled in {values}, {refExp}"
false,true,false,"from {values}, {refExp}"
false,false,true," comes from {values}"
false,false,false,"it is the product of {values}"