sentence.yml revision 9940047ec4fd0ef151dfddd4253534eafa8c900c
---
http_interactions:
- request:
method: get
body:
encoding: US-ASCII
string: ''
headers:
Accept-Encoding:
- gzip;q=1.0,deflate;q=0.6,identity;q=0.3
Accept:
- "*/*"
User-Agent:
- Ruby
response:
status:
code: 200
message: OK
headers:
Server:
- nginx/1.6.2
Date:
- Sat, 04 Apr 2015 19:37:43 GMT
Content-Type:
Content-Length:
- '1064'
Last-Modified:
- Mon, 30 Mar 2015 07:48:14 GMT
Connection:
- keep-alive
Etag:
- '"5518ffbe-428"'
Strict-Transport-Security:
- max-age=31536000
X-Frame-Options:
- DENY
Accept-Ranges:
- bytes
body:
encoding: ASCII-8BIT
string: !binary |-
ewogICJpZCI6ICJodHRwczovL21hc3RlcnRoZXNpcy5yaWdodHNyZXN0cmlj
dGVkLmNvbS9vbnRvaHViL3NlbnRlbmNlLmpzb24jIiwKICAiJHNjaGVtYSI6
ICJodHRwOi8vanNvbi1zY2hlbWEub3JnL2RyYWZ0LTA0L3NjaGVtYSMiLAog
ICJ0aXRsZSI6ICJTZW50ZW5jZSIsCiAgImRlc2NyaXB0aW9uIjogIkEgc2Vu
dGVuY2UgaW5zaWRlIG9mIGFuIG9udG9sb2d5IiwKICAidHlwZSI6ICJvYmpl
Y3QiLAogICJwcm9wZXJ0aWVzIjogewogICAgImlyaSI6IHsKICAgICAgImRl
c2NyaXB0aW9uIjogIlRoZSB1bmlxdWUgaWRlbnRpZmllciBmb3IgdGhlIHNl
bnRlbmNlIiwKICAgICAgInR5cGUiOiAic3RyaW5nIiwKICAgICAgImZvcm1h
dCI6ICJ1cmkiCiAgICB9LAogICAgIm5hbWUiOiB7CiAgICAgICJkZXNjcmlw
dGlvbiI6ICJUaGUgbmFtZSBvZiB0aGUgc2VudGVuY2Ug4oCUIHVzdWFsbHkg
YXV0by1nZW5lcmF0ZWQuIiwKICAgICAgInR5cGUiOiAic3RyaW5nIgogICAg
fSwKICAgICJkZWZpbml0aW9uIjogewogICAgICAiZGVzY3JpcHRpb24iOiAi
VGhlIGRlZmluaXRpb24gb2YgdGhlIHNlbnRlbmNlIiwKICAgICAgInR5cGUi
OiAic3RyaW5nIgogICAgfSwKICAgICJpbXBvcnRlZCI6IHsKICAgICAgImRl
c2NyaXB0aW9uIjogIkRlbm90ZXMgd2hldGhlciB0aGlzIHNlbnRlbmNlIHdh
cyBpbXBvcnRlZCBmcm9tIGFub3RoZXIgb250b2xvZ3kiLAogICAgICAidHlw
ZSI6ICJib29sZWFuIgogICAgfSwKICAgICJvbnRvbG9neSI6IHsgIiRyZWYi
OiAicmVmZXJlbmNlcy5qc29uIy9kZWZpbml0aW9ucy9vbnRvbG9neSIgfSwK
ICAgICJzeW1ib2xzIjogewogICAgICAiZGVzY3JpcHRpb24iOiAiUmVmZXJl
bmNlIHRvIGFsbCBzeW1ib2xzIHVzZWQgaW4gdGhpcyBzZW50ZW5jZSIsCiAg
ICAgICJ0eXBlIjogInN0cmluZyIsCiAgICAgICJmb3JtYXQiOiAidXJpIgog
ICAgfQogIH0sCiAgInJlcXVpcmVkIjogWwogICAgImlyaSIsCiAgICAibmFt
ZSIsCiAgICAiZGVmaW5pdGlvbiIsCiAgICAiaW1wb3J0ZWQiLAogICAgIm9u
dG9sb2d5IiwKICAgICJzeW1ib2xzIgogIF0KfQo=
http_version:
recorded_at: Sat, 04 Apr 2015 19:37:43 GMT
- request:
method: get
body:
encoding: US-ASCII
string: ''
headers:
Accept-Encoding:
- gzip;q=1.0,deflate;q=0.6,identity;q=0.3
Accept:
- "*/*"
User-Agent:
- Ruby
response:
status:
code: 200
message: OK
headers:
Server:
- nginx/1.6.2
Date:
- Sat, 04 Apr 2015 19:37:43 GMT
Content-Type:
Content-Length:
- '6367'
Last-Modified:
- Thu, 02 Apr 2015 10:02:57 GMT
Connection:
- keep-alive
Etag:
- '"551d13d1-18df"'
Strict-Transport-Security:
- max-age=31536000
X-Frame-Options:
- DENY
Accept-Ranges:
- bytes
body:
encoding: UTF-8
string: |
{
"$schema": "http://json-schema.org/draft-04/schema#",
"definitions": {
"repository": {
"description": "Reference to a repository",
"type": "object",
"properties": {
"name": {
"description": "The name of the repository",
"type": "string"
},
"iri": {
"description": "The unique identifier of the repository",
"type": "string",
"format": "uri"
}
}
},
"logic": {
"description": "Reference to a logic",
"type": "object",
"properties": {
"name": {
"description": "The name of the logic",
"type": "string"
},
"iri": {
"description": "The unique identifier of the logic",
"type": "string",
"format": "uri"
}
}
},
"ontology": {
"description": "Reference to an ontology",
"type": "object",
"properties": {
"name": {
"description": "The name of the ontology",
"type": "string"
},
"iri": {
"description": "The unique identifier of the ontology",
"type": "string",
"format": "uri"
}
}
},
"license_model": {
"description": "Reference to a license model",
"type": "object",
"properties": {
"name": {
"description": "The name of the license model",
"type": "string"
},
"iri": {
"description": "The unique identifier of the license model",
"type": "string",
"format": "uri"
}
}
},
"formality_level": {
"description": "Reference to a formality level",
"type": "object",
"properties": {
"name": {
"description": "The name of the formality level",
"type": "string"
},
"iri": {
"description": "The unique identifier of the formality level",
"type": "string",
"format": "uri"
}
}
},
"ontology_type": {
"description": "Reference to an ontology type",
"type": "object",
"properties": {
"name": {
"description": "The name of the ontology type",
"type": "string"
},
"iri": {
"description": "The unique identifier of the ontology type",
"type": "string",
"format": "uri"
}
}
},
"ontology_version": {
"description": "Reference to an ontology-version",
"type": "object",
"properties": {
"number": {
"description": "The version number of the version of the ontology",
"type": "integer"
},
"iri": {
"description": "The unique identifier of the ontology-version",
"type": "string",
"format": "uri"
}
}
},
"logic_mapping": {
"description": "Reference to a mapping between logics",
"type": "object",
"properties": {
"iri": {
"description": "The unique identifier of the logic mapping",
"type": "string",
"format": "uri"
}
}
},
"mapping": {
"description": "Reference to a mapping",
"type": "object",
"properties": {
"name": {
"description": "The name of the mapping",
"type": "string"
},
"iri": {
"description": "The unique identifier of the mapping",
"type": "string",
"format": "uri"
}
}
},
"sentence": {
"description": "Reference to a sentence",
"type": "object",
"properties": {
"name": {
"description": "The name of the sentence",
"type": "string"
},
"iri": {
"description": "The unique identifier of the sentence",
"type": "string",
"format": "uri"
}
}
},
"symbol": {
"description": "Reference to a symbol",
"type": "object",
"properties": {
"name": {
"description": "The name of the symbol",
"type": "string"
},
"iri": {
"description": "The unique identifier of the symbol",
"type": "string",
"format": "uri"
}
}
},
"theorem": {
"description": "Reference to a theorem",
"type": "object",
"properties": {
"name": {
"description": "The name of the theorem",
"type": "string"
},
"iri": {
"description": "The unique identifier of the theorem",
"type": "string",
"format": "uri"
}
}
},
"proof_attempt": {
"description": "Reference to a proof attempt",
"type": "object",
"properties": {
"iri": {
"description": "The unique identifier of the proof attempt",
"type": "string",
"format": "uri"
},
"number": {
"description": "The number of the proof attempt relative to its theorem",
"type": "integer"
}
}
},
"proof_status": {
"description": "Reference to a proof status",
"type": "object",
"properties": {
"iri": {
"description": "The unique identifier of the proof status",
"type": "string",
"format": "uri"
},
"identifier": {
"description": "The identifier of the proof status",
"type": "string"
},
"name": {
"description": "The name of the proof status (human-readable)",
"type": "string"
}
}
},
"prover_output": {
"description": "Reference to a prover output",
"type": "object",
"properties": {
"iri": {
"description": "The unique identifier of the prover output",
"type": "string",
"format": "uri"
}
}
},
"proof_attempt_configuration": {
"description": "Reference to a proof attempt configuration",
"type": "object",
"properties": {
"iri": {
"description": "The unique identifier of the proof attempt configuration",
"type": "string",
"format": "uri"
}
}
}
}
}
http_version:
recorded_at: Sat, 04 Apr 2015 19:37:44 GMT
recorded_with: VCR 2.9.3