{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["variables","constraints","claimed_refinement","claims"],"properties":{"variables":{"type":"integer","minimum":1,"maximum":8},"constraints":{"type":"array","maxItems":64,"items":{"type":"object","additionalProperties":false,"required":["from","to","relations"],"properties":{"from":{"type":"integer","minimum":0,"maximum":7},"to":{"type":"integer","minimum":0,"maximum":7},"relations":{"type":"array","maxItems":13,"items":{"type":"string","maxLength":256}}}}},"claimed_refinement":{"anyOf":[{"type":"array","maxItems":8,"items":{"type":"array","maxItems":8,"items":{"type":"array","maxItems":13,"items":{"type":"string","maxLength":256}}}},{"type":"null"}]},"claims":{"type":"object","additionalProperties":false,"required":["variables","constraints","contradiction_found"],"properties":{"variables":{"type":"number"},"constraints":{"type":"number"},"contradiction_found":{"type":"boolean"}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-B-NIGHT-ALLEN_QUALITATIVE_PATH_REFINEMENT/allen-interval-algebra-path-consistency-refinement"}