_:b56899000 . _:b56899001 . _:b56899001 "synthesis" . _:b56899000 _:b56899001 .