_:a . _:a _:b .