Unable to find appropriate mappings in OXO

[matentzn]

Reference use case:

Problem description:

I find the term “high density lipoprotein cholesterol measurement” among the traits in the GWAS output for “cardiovascular disease”, which the GWAS Catalog tells me is EFO:0004612

Mapping EFO:0004612 using OXO: https://www.ebi.ac.uk/spot/oxo/search does not find:

• MP abnormal circulating HDL cholesterol level MP:0000184
• HP Increased HDL cholesterol concentration HP:0012184
• HP Abnormal HDL cholesterol concentration HP:0031888

Not sure if this is a problem inherent to OXO or the mappings are lacking?
Some time ago I looked for other mapping tools – not sure if there is anything better out there.
Searching in OLS for “high density lipoprotein cholesterol” https://www.ebi.ac.uk/ols/search?q=high-density+lipoprotein+cholesterol&groupField=iri&start=0
Can filter by MP and I get: https://www.ebi.ac.uk/ols/search?q=high-density+lipoprotein+cholesterol&groupField=iri&start=0&ontology=mp
For efficiency, we would need an automated way to conduct these mappings.