_:b10515 . _:b10518 . _:b10520 . _:b10520 . _:b10519 _:b10515 . _:b10518 _:b10519 . _:b10518 . _:b10515 _:b10520 .