package DX::Predicate::Rule;

use DX::Class;

with 'DX::Role::Predicate';

has arg_names => (is => 'ro', required => 1);

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

1;
