document.getElementById("med-ftitle").innerHTML=`重写系统带成员约束的完成——第一部分：推理规则
`;