Input (grade 11): Washington National Cathedral, whose official name is the Cathedral Church of Saint Peter and Saint Paul, is a cathedral of the Episcopal Church.
Output (grade 9): The Washington National Cathedral is a cathedral of the Episcopal Church in the United States.