CREATE TABLE authorship (authid VARCHAR(255), paperid VARCHAR(255)); CREATE TABLE authors (authid VARCHAR(255), fname VARCHAR(255), lname VARCHAR(255)); CREATE TABLE papers (paperid VARCHAR(255))
How many papers have "Atsushi Ohori" published?
    
SQL: 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"