package DX::Predicate::Rule;

use DX::Class;

with 'DX::Role::Predicate';

has arg_names => (is => 'ro', required => 1, isa => ArrayRef[Str]);

has proposition_sequence => (
  is => 'ro', required => 1, isa => PropositionSequence
);

1;
