anchor.diff:  		 (prefix-encoding
   		  :options ("--prefix-encoding=BOOL")
   		  :usage ("If true, use known prefixes when printing IRIs. If false (the default), print IRIs as such.")
  -		  :html ""
   		  (setf encode-prefixes-p (cond ((string-equal value "true") t)
   						((string-equal value "false") nil)
   						(t (usage)))))
   		 (time
   		  :options ("--time=FILE")
   		  :usage "Output timing information to FILE. Use '-' for standard output."
  -		  :html ""
   		  (setf time-output-name value)
   		  (multiple-value-setq (start-time-sec start-time-usec) (sb-unix::get-time-of-day))
   		  (setf time-output-stream
  
positive.code: 			  "not been executed yet from the rule instance queue, if they cease to be satisfied;"
  			  "if false, rule instances are not removed from the queue even when they cease to be"
  			  "satisfied when adding or removing RDF input.")
  		  :html ""
  		  (setf (instans-allow-rule-instance-removal-p instans)
  			(cond ((string-equal value "true") t)
  			      ((string-equal value "false") nil)
  
negative.code: 		 ;; 	  "the first instance in the queue, \"repeat-first\" does this as long as the queue is not"
  		 ;; 	  "empty. \"Snapshot\" takes the rules currently in the queue and executes them;"
  		 ;; 	  "\"repeat-snapshot\" repeats this as long as the queue is not empty.")
  		 ;;  (setf (instans-queue-execution-policy instans) (intern-keyword (string-upcase value))))
  		 (allow-rule-instance-removal
  		  :options ("--allow-rule-instance-removal=BOOL")
  