}
sub with_resolution {
- my ($self, $prop, $depends) = @_;
- $self->but(
+ my ($self, $prop, $depends, $actions) = @_;
+ my $hyp = $self->with_actions(@$actions);
+ return undef unless $hyp;
+ $hyp->but(
resolved_propositions => $self->resolved_propositions
->with_resolution_for(
$prop,