li : li : pr 1 : 1 : ( 0 : pr ( ( 1 ( 4: