GeneratedAxiom
An that has been generated during reasoning
Fields
id (
Int!)
The ID of the GeneratedAxiom
reasoningAttempt (
ReasoningAttempt!)
The ReasoningAttempt in which this axiom has been generated
text (
String!)
The definitional text