WLS: updated language spec to include logical implication