% NOT RECOGNISED [Proposition:''[Element*a:'Hydrogen'][Weight*b:'1.00794'][Symbol*c:'H'][Element*d:'Hydrogen'][Database*e:'DBElements.txt']]