_:x _:y "value"^^ex:someType .