  We verify a formula on the solution rank of the tautological system arising
from ample complete intersections in a projective homogeneous space of a
semisimple group conjectured by Huang--Lian--Yau--Yu arXiv:1801.01194. As an
application, we prove the existence of the rank one point for such a system,
where mirror symmetry is expected.
