How many papers are "Atsushi Ohori" the author of?
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"