Content
Extract key properties from the formula string. Format: { ‘implies’: Literal[‘R’,’S’], ‘CloseBy’: Literal[‘CoveredBy’, ‘downscaled’], ‘calibrated’: bool, ‘denoised’: bool, ‘Boolean’: bool }
formula (str) –
str