_:b1288323 . _:b1288323 . _:b1288323 . _:b1288323 "CASGEN:1031"^^ . _:b1288323 "Batrachopus"^^ .