Added more comments.

src/reasoning/SWRL/swrl.pl

@@ -58,6 +58,11 @@
   swrl_infer_scope(FScope).
 
 %%
+% Note: I ran into some cases where predicates
+% generated by rules containing built-ins would
+% not always ground the interval scope argument, resulting in an exception
+% when the inferred head was asserted (see issue #285).
+% The predicates below simply unify its input arg with the universal scope if needed.
 swrl_infer_scope(FScope) :-
   nonvar(FScope).
 
@@ -366,7 +371,7 @@
 % the predicate instance_of/2 would
 % run the notify predicate that checks if it is
 % an event. Since those predicates are tabled, any subsequent
-% updates that may happen in the rule head will not trigger
+% updates that may happen in the rule head will not longer trigger
 % a notification. I am calling triple/3 directly as a workaround.
 swrlx_insert_new_individual(A) :-
   lang_is_a:unique_name(swlrx, A),