package DX::Proposition;
+use DX::Step::ConsiderProposition;
+
use DX::Class;
has predicate => (is => 'ro', isa => Str, required => 1);
return $predicate->resolution_step_for($self, @args);
}
+sub consider_step {
+ my ($self) = @_;
+ DX::Step::ConsiderProposition->new(proposition => $self);
+}
+
1;