大书天九门，凛凛见名字。上句是什么？

正确答案：

大书天九门，凛凛见名字。上句是：马公首丹籍，程子亦其次。这句诗词出自项安世的《度周卿携司马公送蒲中舍诗小程先生谒傅长宫》。
下面是这首诗的全文：
马公首丹籍，程子亦其次。大书天九门，凛凛见名字。度君独何心，葅歜而剥芰。艓子大于匙，可卧不可跋。中有两同行，马诗与程剌。