This is not the final website. It is a demo of the real tool working, made for Y Combinator.
AxisRemedy

17-001 Content is a mathematical expression but is not tagged with a <Formula> tag.

A mathematical expression is not tagged as a Formula.

Checkpoint
17: Mathematical Expressions
ISO 14289-1 (PDF/UA-1) clause
7.7-1
Test type in the protocol
Needs a human judgement
Applies to
A single object

How AxisRemedy handles it

Left for you. A person has to judge this one. AxisRemedy does not test it; the report lists it as left for you.