_:b57236613 . _:b57236612 _:b57236613 . _:b57236612 . _:b57236613 "synthesis" .