Towards a formal representation for description rules

More Info
expand_more