que son las formulas semidesarrollada?