Hello,
 
Question on the addTerm method on PrimitiveAssertion.  Why is this method 
there?  Isn't it the point of PrimitiveAssertion that you can *not* add to it, 
i.e. it is not composite but finite?
 
It seems to me that "addTerm" is better suited to be on the CompositeAssertion 
interface.  Furthermore, should it not be called "addAssertion", to be more in 
line with the spec? The spec never uses the word "term."  What is a term anyway?
 
Thanks for any insight.
- Dmitry

Reply via email to