Require ruler library.
Make use of Proposition interface from ruler library.