Class
PROTOCOL
Subclass-Of
:
Script
The-Archetype:
Type
Axioms:
(=> (
Protocol
?Self) (Exists (?A) (And (
Method-Of
?Self ?A) (
Procedure
?A))))
Defined in theory:
Representation
Source code:
Representation.lisp