Attributes . 1NO-1NC LOGIC LVL Cont blck FINGR PROOF . Names