refreshing
refreshin
adjusting to https://eyereasoner.github.io/eye/#eye-color
adding list:compound built-in
fixing backard rules and queries for rdfproof
having RDF Logic with blank node graphs
dropping log:univ
