_:b12255 . _:b12255 _:b12256 . _:b12256 . _:b12256 .