PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
PREFIX : <http://josd.github.io/eye/reasoning#>

(1950 2050) :yearsOfInterest true.

{?YEAR a :Year} <= {
    (?FROM ?TO) :yearsOfInterest true.
    ("between" ?FROM ?TO ?YEAR) e:derive true.
}.
