[RIF-APS] AW: APS

>Hi Adrian,
>
>In http://www.w3.org/2005/rules/wiki/APS, the last rule in the
>table APS -> PS reads:
>
>[Conlusion] :- [Conditions]     [Conclusion] :- [Conditions]    for
derivation rules in BLD
>
>Isn't this a vacuous line?



The line should show the difference to production rules which map to IF
[Conditions] Then [Actions]. 

But you are right I should be more precise here and say something like

APS:

[Conclusion] :- [Conditions]   

maps to (current) Full BLD PS

Forall [Vars]  [Conclusion] :- And([Conditions])

- Adrian