jade.content.onto.basic
Classes 
Action
Done
Equals
FalseProposition
Result
TrueProposition