John Pollock's OSCAR system is an example of an automated argumentation system that is more specific than being just an automated theorem prover.
John Pollock の Oscar システムは単なる自動定理証明機よりも自動論証システムといえるものである。