Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
invalid separator '::' on inference rule
An inference rule must be followed by a single colon (:).