GraphQL/exampleQueries/oms.graphql

query OMS {
  oms(locId: "Basic/RelationsAndOrders.casl//oms/AntisymmetricRelation") {
    ...omsFields
  }
}

fragment omsFields on OMS {
  __typename
  conservativityStatus {
    required
    proved
  }
  consistencyCheckAttempts(limit: null) {
    action {
      evaluationState
      message
    }
    reasonerConfiguration {
      configuredReasoner {
        id
        displayName
      }
      premiseSelections {
        selectedPremises(limit: null) {
          locId
        }
      }
      timeLimit
    }
    reasonerOutput {
      text
    }
    timeTaken
    usedReasoner {
      id
      displayName
    }
  }
  description
  displayName
  freeNormalForm {
    locId
  }
  freeNormalFormSignatureMorphism {
    id
  }
  labelHasFree
  labelHasHiding
  language {
    id
    name
    description
  }
  locId
  logic {
    id
    name
  }
  mappingsSource: mappings(limit: null, origin: source) {
    ... mappingsFields
  }
  mappingsTarget: mappings(limit: null, origin: target) {
    ... mappingsFields
  }
  name
  nameExtension
  nameExtensionIndex
  nameFileRange {
    ...fileRangeFields
  }
  normalForm {
    locId
  }
  normalFormSignatureMorphism {
    id
  }
  origin
  sentences(limit: null) {
    __typename
    fileRange {
      ...fileRangeFields
    }
    locId
    name
    symbols(limit: null) {
      ...symbolFields
    }
    text
    ... on Conjecture {
      ...conjectureFields
    }
  }
  serialization {
    id
  }
  omsSignature: signature {
    id
  }
}

fragment conjectureFields on Conjecture {
  action {
    evaluationState
    message
  }
  proofAttempts {
    action {
      evaluationState
      message
    }
    reasonerConfiguration {
      configuredReasoner {
        id
        displayName
      }
      premiseSelections {
        selectedPremises(limit: null) {
          locId
        }
      }
    }
    reasonerOutput {
      text
    }
    timeTaken
    usedReasoner {
      id
      displayName
    }
  }
}

fragment symbolFields on Symbol {
  __typename
  fileRange {
    ...fileRangeFields
  }
  fullName
  kind
  locId
  name
}

fragment mappingsFields on Mapping {
  conservativityStatus {
    required
    proved
  }
  displayName
  freenessParameterOMS {
    locId
  }
  freenessParameterLanguage {
    id
    name
    description
  }
  locId
  name
  origin
  pending
  signatureMorphism {
    id
  }
  source {
    locId
  }
  target {
    locId
  }
  type
}

fragment fileRangeFields on FileRange {
  path
  startLine
  startColumn
  endLine
  endColumn
}