ra | doc^ *a^f