Extract From Text

POST

Extract statements from text describing a PIC

This endpoint expects an object.

querystringRequired

Successful Response

statementslist of objects

1	curl -X POST https://api.axiomatic-ai.com/pic/text/statements/extract \
2	-H "x-api-key: <apiKey>" \
3	-H "Content-Type: application/json" \
4	-d '{
5	"query": "query"
6	}'

1	{
2	"statements": [
3	{
4	"id": "id",
5	"statement": "statement",
6	"z3_formalization": "z3_formalization",
7	"type": "COST_FUNCTION"
8	}
9	]
10	}