principal conjunctive normal form
上一位 departmental expense variance account
下一位 disabled user account