ManualPremiseSelection

A PremiseSelection whose premises were selected by hand

Implements

Fields

id (Int!)

The ID of the PremiseSelection

reasonerConfiguration (ReasonerConfiguration!)

The used ReasonerConfiguration

selectedPremises ([Sentence!]!)

The selected premises

Argument Type Description
limit Int

Maximum number of entries to list

The default value is 20.
skip Int

Skip the first n entries

The default value is 0.