_:abc . _:def .