com.hammurapi.reasoning.spi
Interfaces 
InferenceContext
Rule
Superseder
Annotation Types 
Accept
Condition
Const
Infer