Footnote:For readability, the example is presented in RQFOL-style syntax rather than the LISP-style syntax actually used in our implementation. Go back to paper