'Machine-readable assertions let individual scientif…' has a more general meaning than 'Ontology-based semantic phenotypes can express dung…'