reformulating the requirements in terms of API4KBs Manifestations and Expressinos