{"type":"doc","content":[{"type":"paragraph","attrs":{"id":"v0-p-1479"},"content":[{"type":"text","text":"c = clause(s)"}]}]}