The Linear non-Strategy

• Extension of the linear-input strategy to linear deduction is not direct

• Ancestor resolutions allow TRUE centre clauses