[RIF-APS] Issue about implicit quantification

Hi,

 

Currently BLD says:

 

"All free (non-quantified) variables in the rule must be quantified with
Forall outside of the rule (i.e., Forall ?vars (head :- body))."

 

http://www.w3.org/2005/rules/wiki/BLD#The_Presentation_Syntax_of_RIF-BLD_as_
a_Specialization_of_RIF-FLD, Point 5

 

 

To have a very compact format the Abridge Presentation Syntax currently has
the following convention:

 

   *  If not explicitly stated variables are universially quantified
(Forall)

 

To enable this convention in the APS I would propose to drop that
quantification requirement and say there is implicit quantification.

 

-Adrian