Difference (from revision 9 to 10)

Added: 85a86,87

** Peter: could we slip in standards to be unstood by both humans and machine {nid 1Q96}
** Leo & Fabian: representing standards in a logical language allows for them to be expressed precisely, unambiguously and allow for automated consistency, validity checks etc. {nid 1Q97}