Declarative Rule

• Name: ND universal instantiation
• Rule Specification: '(forall (' N ')' q ')' |- '(forall (' N - N.i ')' q[t/N.i] ')';; (Name N) ; (Sent q) ; (Term t)
• Specification Language: Proof Protocol for Deductive Reasoning (PPDR)

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.