_:b56740273 . _:b56740272 . _:b56740273 "synthesis" . _:b56740272 _:b56740273 .