package DX::QueryState;
+use Types::Standard qw(HashRef);
use DX::Class;
-#has proposition_sequence => (
-# is => 'ro', isa => PropositionSequence, required => 1
-#);
+has predicates => (is => 'ro', isa => HashRef[Predicate], required => 1);
+
+has globals => (is => 'ro', isa => DictValue, required => 1);
+
+has proposition_sequence => (
+ is => 'ro', isa => PropositionSequence, required => 1
+);
1;