How many papers have "Atsushi Ohori" published?
select count(*) from authors as t1 join authorship as t2 on t1.authid = t2.authid join papers as t3 on t2.paperid = t3.paperid where t1.fname = "Atsushi" and t1.lname = "Ohori"