_:b1 a _:b2 .
_:b2 a _:B1 .