Minor changes.
Numerical extraction added. Resolution of explicitly-given ontology
terms addes. Rearrangements.