my $prop = DX::Proposition->new(
predicate => $pred,
args => \@args,
- introduces_names => $intro,
- requires_names => $need,
+ introduced_names => $intro,
+ required_names => $need,
);
my $old_qstate = $self->shell_state->current_query_state;
my $qstate = $old_qstate->with_additional_proposition($prop);