context: Australian parliamentarian John Langmore has formally resigned from his lower house seat , the office of House of Representatives speaker Bob Halverson said on Friday .
hypothesis: Bob Halverson is a person
corpus-sent-id: test 2413