一阶逻辑的片断 [fragFOL]