Keysplint Hard Parametric Form Definition