Conditional knowledge representation systems -model for an implementation