_:b403898168 "ps" . _:b403898168 "0"^^ .