_:b401595091 "5"^^ . _:b401595091 "dscovers" .