Hi Janet,
My great-great-great-grandmother was Maria Emilia Miranda. To my knowledge, she had no brother named Francisco, John's father, who was her contemporary. I found no Francisco Miranda in Rodrigo Rodrigues' book or in the Machado index of marriages. Since Joao Miranda was born around 1871, you can search for his baptism record (parents: Francisco Miranda and Maria) in Ponta Delgada parishes, including Sao Sebastiao, Sao Jose, Arrifes and Relva, but if I were you, I'd follow Amy's advice to confirm the parents' names.
Best regards,
Carlos