Symbol: fClauses