A tractable juridical KBS for applying and teaching trafic regulatins