_:b57678524 _:b57678525 . _:b57678525 "IS" . _:b57678525 . _:b57678524 .