../../Task/Quaternion-type/Picat