Add satisfies parser